diff options
author | a-kenji <aks.kenji@protonmail.com> | 2022-06-15 14:03:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-15 14:03:11 +0200 |
commit | 3de59dac42c05de43beba2f7d09b07111c711394 (patch) | |
tree | 4fa43bd6a337b781f3883c959ce0713369efd7e2 /default-plugins | |
parent | 7314b623219f93384c08dd6f7fa33def082a8419 (diff) |
fix(clippy): clippy fixes (#1508)
* fix(clippy): clippy fixes
* chore(fmt): cargo fmt
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 +" |