From 304ee1489c360f6d852fbf4954a401ab887921c6 Mon Sep 17 00:00:00 2001 From: Mohamed Abdelnour Date: Fri, 21 May 2021 14:19:15 +0200 Subject: [PATCH] Use `!theme.is_empty()` --- src/assets.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/assets.rs b/src/assets.rs index bac0c430..88509788 100644 --- a/src/assets.rs +++ b/src/assets.rs @@ -201,7 +201,7 @@ impl HighlightingAssets { bat_warning!("Theme '{}' is deprecated, using 'ansi' instead.", theme); return self.get_theme("ansi"); } - if theme != "" { + if !theme.is_empty() { bat_warning!("Unknown theme '{}', using default.", theme) } &self.theme_set.themes[self.fallback_theme.unwrap_or_else(|| Self::default_theme())]