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.

1 files changed, 11 insertions, 0 deletions

diff --git a/helix-view/src/gutter.rs b/helix-view/src/gutter.rs
index 05fec758..8f7c3062 100644
--- a/helix-view/src/gutter.rs
+++ b/helix-view/src/gutter.rs
@@ -102,6 +102,17 @@ pub fn line_numbers<'doc>(
     })
 }
 
+pub fn padding<'doc>(
+    _editor: &'doc Editor,
+    _doc: &'doc Document,
+    _view: &View,
+    _theme: &Theme,
+    _is_focused: bool,
+    _width: usize,
+) -> GutterFn<'doc> {
+    Box::new(|_line: usize, _selected: bool, _out: &mut String| None)
+}
+
 #[inline(always)]
 const fn abs_diff(a: usize, b: usize) -> usize {
     if a > b {