WIP
This commit is contained in:
parent
0374bc66ce
commit
c602d98680
6 changed files with 86 additions and 12 deletions
|
@ -562,6 +562,7 @@ impl Element<TerminalView> for TerminalElement {
|
|||
font_size,
|
||||
font_properties: Default::default(),
|
||||
underline: Default::default(),
|
||||
soft_wrap: false,
|
||||
};
|
||||
let selection_color = settings.theme.editor.selection.selection;
|
||||
let match_color = settings.theme.search.match_background;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue