on master help sign in
Use `!theme.is_empty()`
commit304ee1489c360f6d852fbf4954a401ab887921c6 authorMohamed Abdelnour <mohamed.k.abdelnour@gmail.com> dateFri 21 May 2021, 14:19 (5 years ago) parent07d4179
1 file changed+1−1
src/assets.rs+1−1
src/assets.rs+1−1
@@ -201,7 +201,7 @@ impl HighlightingAssets {
201201 bat_warning!("Theme '{}' is deprecated, using 'ansi' instead.", theme);
202202 return self.get_theme("ansi");
203203 }
204− if theme != "" {
204+ if !theme.is_empty() {
205205 bat_warning!("Unknown theme '{}', using default.", theme)
206206 }
207207 &self.theme_set.themes[self.fallback_theme.unwrap_or_else(|| Self::default_theme())]