diff options
author | Blaž Hrastnik | 2022-07-26 01:10:06 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2022-07-26 01:10:06 +0000 |
commit | 255c1734cfc46964e8faa21756ede2badd7b3813 (patch) | |
tree | 058ac0792e88a7676046d42441e1a2aa42c77a69 /helix-view/src/view.rs | |
parent | 2f980471f816e841628cf2b75d8d8e689b3fe9d5 (diff) |
Rename padding to spacer, remove by default
Diffstat (limited to 'helix-view/src/view.rs')
-rw-r--r-- | helix-view/src/view.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/helix-view/src/view.rs b/helix-view/src/view.rs index 6bdd5be4..3df533df 100644 --- a/helix-view/src/view.rs +++ b/helix-view/src/view.rs @@ -106,14 +106,14 @@ impl View { let width = match gutter_type { GutterType::Diagnostics => 1, GutterType::LineNumbers => 5, - GutterType::Padding => 1, + GutterType::Spacer => 1, }; gutter_offset += width; gutters.push(( match gutter_type { GutterType::Diagnostics => gutter::diagnostics_or_breakpoints, GutterType::LineNumbers => gutter::line_numbers, - GutterType::Padding => gutter::padding, + GutterType::Spacer => gutter::padding, }, width as usize, )); |