diff options
Diffstat (limited to 'default-plugins')
| -rw-r--r-- | default-plugins/status-bar/src/first_line.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default-plugins/status-bar/src/first_line.rs b/default-plugins/status-bar/src/first_line.rs index a4fa91b86..2ffe5f722 100644 --- a/default-plugins/status-bar/src/first_line.rs +++ b/default-plugins/status-bar/src/first_line.rs @@ -303,7 +303,7 @@ fn key_indicators( } pub fn superkey(palette: ColoredElements, separator: &str) -> LinePart { - let prefix_text = if separator.len() == 0 { + let prefix_text = if separator.is_empty() { " Ctrl + " } else { " Ctrl +" |