Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Create a new setting to adjust the line height in the terminal

Browse source
This commit is contained in:
Mikayla Maki 2023-04-20 17:24:27 -07:00
parent ce8442a3d8
commit dfdc826015
3 changed files with 89 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/terminal_view/src/terminal_element.rs
View file

@ -567,7 +567,7 @@ impl Element for TerminalElement {
let selection_color = settings.theme.editor.selection.selection;
let match_color = settings.theme.search.match_background;
let dimensions = {
let line_height = font_cache.line_height(text_style.font_size);
let line_height = text_style.font_size * settings.terminal_line_height();
let cell_width = font_cache.em_advance(text_style.font_id, text_style.font_size);
TerminalSize::new(line_height, cell_width, constraint.max)
};