Merge pull request #2417 from zed-industries/hover-markdown

Render markdown more correctly in the editor hover popover
2023-04-27 14:15:04 -07:00
parent 92c9de1f50 6042df393b
commit 7258db7a4e
14 changed files with 827 additions and 307 deletions
@@ -633,6 +633,7 @@ message GetHoverResponse {
 message HoverBlock {
    string text = 1;
    optional string language = 2;
+    bool is_markdown = 3;
 }

 message ApplyCodeAction {