diff options
author | Nathan Vegdahl | 2021-06-14 02:44:25 +0000 |
---|---|---|
committer | Nathan Vegdahl | 2021-06-15 01:32:23 +0000 |
commit | 4faf1d3bf445fa33b29cee446b725aed8c742e26 (patch) | |
tree | c8f3817f0c62df0ea79f7af500427e25b1a4c57e /helix-term/src | |
parent | 0a5580aa21b55947859191a4f33244d77fb794ed (diff) |
Remove indent style status-line display for now.
Diffstat (limited to 'helix-term/src')
-rw-r--r-- | helix-term/src/ui/editor.rs | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/helix-term/src/ui/editor.rs b/helix-term/src/ui/editor.rs index 5db68751..838684ba 100644 --- a/helix-term/src/ui/editor.rs +++ b/helix-term/src/ui/editor.rs @@ -500,18 +500,18 @@ impl EditorView { // Compute the individual info strings. let diag_count = format!("{}", doc.diagnostics().len()); - let indent_info = match doc.indent_style { - IndentStyle::Tabs => "tabs", - IndentStyle::Spaces(1) => "spaces:1", - IndentStyle::Spaces(2) => "spaces:2", - IndentStyle::Spaces(3) => "spaces:3", - IndentStyle::Spaces(4) => "spaces:4", - IndentStyle::Spaces(5) => "spaces:5", - IndentStyle::Spaces(6) => "spaces:6", - IndentStyle::Spaces(7) => "spaces:7", - IndentStyle::Spaces(8) => "spaces:8", - _ => "indent:ERROR", - }; + // let indent_info = match doc.indent_style { + // IndentStyle::Tabs => "tabs", + // IndentStyle::Spaces(1) => "spaces:1", + // IndentStyle::Spaces(2) => "spaces:2", + // IndentStyle::Spaces(3) => "spaces:3", + // IndentStyle::Spaces(4) => "spaces:4", + // IndentStyle::Spaces(5) => "spaces:5", + // IndentStyle::Spaces(6) => "spaces:6", + // IndentStyle::Spaces(7) => "spaces:7", + // IndentStyle::Spaces(8) => "spaces:8", + // _ => "indent:ERROR", + // }; let position_info = { let pos = coords_at_pos(doc.text().slice(..), doc.selection(view.id).cursor()); format!("{}:{}", pos.row + 1, pos.col + 1) // convert to 1-indexing @@ -519,9 +519,9 @@ impl EditorView { // Render them to the status line together. let right_side_text = format!( - "{} {} {} ", + "{} {} ", &diag_count[..diag_count.len().min(4)], - indent_info, + // indent_info, position_info ); let text_len = right_side_text.len() as u16; |