Render more markdown features in hover popover
This commit is contained in:
parent
7960067cf9
commit
d298ce3fd3
11 changed files with 421 additions and 175 deletions
|
@ -463,6 +463,7 @@ pub struct EditorStyle {
|
|||
pub text: TextStyle,
|
||||
pub placeholder_text: Option<TextStyle>,
|
||||
pub theme: theme::Editor,
|
||||
pub theme_id: usize,
|
||||
}
|
||||
|
||||
type CompletionId = usize;
|
||||
|
@ -7319,6 +7320,7 @@ fn build_style(
|
|||
) -> EditorStyle {
|
||||
let font_cache = cx.font_cache();
|
||||
|
||||
let theme_id = settings.theme.meta.id;
|
||||
let mut theme = settings.theme.editor.clone();
|
||||
let mut style = if let Some(get_field_editor_theme) = get_field_editor_theme {
|
||||
let field_editor_theme = get_field_editor_theme(&settings.theme);
|
||||
|
@ -7332,6 +7334,7 @@ fn build_style(
|
|||
text: field_editor_theme.text,
|
||||
placeholder_text: field_editor_theme.placeholder_text,
|
||||
theme,
|
||||
theme_id,
|
||||
}
|
||||
} else {
|
||||
let font_family_id = settings.buffer_font_family;
|
||||
|
@ -7353,6 +7356,7 @@ fn build_style(
|
|||
},
|
||||
placeholder_text: None,
|
||||
theme,
|
||||
theme_id,
|
||||
}
|
||||
};
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue