cessen/led
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Slightly wider and darker gutter.

Browse Source
This commit is contained in:
Nathan Vegdahl 2020-02-01 18:12:06 +09:00
parent 9ff24353b4
commit 18920d9e87
2 changed files with 12 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/editor/mod.rs
View File

@ -253,22 +253,17 @@ impl<T: LineFormatter> Editor<T> {
} }
} }
/// Updates the view dimensions, and returns whether that /// Updates the view dimensions.
/// actually changed anything.
pub fn update_dim(&mut self, h: usize, w: usize) { pub fn update_dim(&mut self, h: usize, w: usize) {
let line_count_digits = digit_count(self.buffer.line_count() as u32, 10) as usize; let line_count_digits = digit_count(self.buffer.line_count() as u32, 10) as usize;
if self.editor_dim.0 != h || self.editor_dim.1 != w { self.editor_dim = (h, w);
self.editor_dim = (h, w);
// Minus 1 vertically for the header, minus one more than the digits in // Minus 1 vertically for the header, minus two more than the digits in
// the line count for the gutter. // the line count for the gutter.
self.view_dim = ( self.view_dim = (
self.editor_dim.0 - 1, self.editor_dim.0 - 1,
self.editor_dim.1 - line_count_digits - 1, self.editor_dim.1 - line_count_digits - 2,
); );
} else if self.view_dim.1 != (self.editor_dim.1 - line_count_digits - 1) {
self.view_dim.1 = self.editor_dim.1 - line_count_digits - 1;
}
} }
pub fn undo(&mut self) { pub fn undo(&mut self) {

8
src/term_ui/mod.rs
View File

@ -58,9 +58,9 @@ const STYLE_GUTTER: Style = Style(
b: 0x70, b: 0x70,
}, },
Color::Rgb { Color::Rgb {
r: 0x28, r: 0x22,
g: 0x28, g: 0x22,
b: 0x28, b: 0x22,
}, },
); );
const STYLE_INFO: Style = Style( const STYLE_INFO: Style = Style(
@ -517,7 +517,7 @@ impl TermUI {
for line in editor.buffer.line_iter_at_index(line_index) { for line in editor.buffer.line_iter_at_index(line_index) {
// Print line number // Print line number
if line_block_index == 0 { if line_block_index == 0 {
let lnx = c1.1 + (gutter_width - 1 - digit_count(line_num as u32, 10) as usize); let lnx = c1.1 + (gutter_width - 2 - digit_count(line_num as u32, 10) as usize);
let lny = screen_line as usize; let lny = screen_line as usize;
if lny >= c1.0 && lny <= c2.0 { if lny >= c1.0 && lny <= c2.0 {
self.screen self.screen