diff options
| author | Ivan Tham | 2022-07-18 01:13:47 +0000 |
|---|---|---|
| committer | GitHub | 2022-07-18 01:13:47 +0000 |
| commit | e8214fb1e6009d44a4b7094c6e5297a19f18f549 (patch) | |
| tree | 1dc2dc1b15f3ed675dd7fed78632b2a0a08bccee /helix-view/src/editor.rs | |
| parent | 2a8d38c27bce34c9b6fa95a2fb063fe097e220d4 (diff) | |
Make gutters padding optional (#2996)
If all gutters are removed, there are still an extra one padding, would be nice
to remove that to save some space.
Diffstat (limited to 'helix-view/src/editor.rs')
| -rw-r--r-- | helix-view/src/editor.rs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/helix-view/src/editor.rs b/helix-view/src/editor.rs index 51c0eee0..babb5c43 100644 --- a/helix-view/src/editor.rs +++ b/helix-view/src/editor.rs @@ -314,6 +314,8 @@ pub enum GutterType { Diagnostics, /// Show line numbers LineNumbers, + /// Show one blank space + Padding, } impl std::str::FromStr for GutterType { @@ -450,7 +452,11 @@ impl Default for Config { }, line_number: LineNumber::Absolute, cursorline: false, - gutters: vec![GutterType::Diagnostics, GutterType::LineNumbers], + gutters: vec![ + GutterType::Diagnostics, + GutterType::LineNumbers, + GutterType::Padding, + ], middle_click_paste: true, auto_pairs: AutoPairConfig::default(), auto_completion: true, |