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

Hide assistant gutter

Browse source
This commit is contained in:
Nathan Sobo 2023-05-26 15:38:03 -06:00
parent 8f6e67f440
commit 3904971bd8
7 changed files with 38 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/editor/src/element.rs
View file

@ -1899,7 +1899,7 @@ impl Element<Editor> for EditorElement {
let gutter_padding;
let gutter_width;
let gutter_margin;
if snapshot.mode == EditorMode::Full {
if snapshot.show_gutter {
let em_width = style.text.em_width(cx.font_cache());
gutter_padding = (em_width * style.gutter_padding_factor).round();
gutter_width = self.max_line_number_width(&snapshot, cx) + gutter_padding * 2.0;