diff options
author | extrawurst <mail@rusticorn.com> | 2023-06-25 14:14:57 +0200 |
---|---|---|
committer | extrawurst <mail@rusticorn.com> | 2023-06-25 14:14:57 +0200 |
commit | 5c98e2fe7674d39c9b7cf2dd84a88c8e74264dc0 (patch) | |
tree | 27507f7e718c1822fd40015698840f6566ba613b /src/ui | |
parent | c119e6ae18ac6667bfc48eed9eb9ea0a6947e757 (diff) |
print theme file path in log with mesages
Diffstat (limited to 'src/ui')
-rw-r--r-- | src/ui/style.rs | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/ui/style.rs b/src/ui/style.rs index 1139cfe7..de282910 100644 --- a/src/ui/style.rs +++ b/src/ui/style.rs @@ -288,9 +288,15 @@ impl Theme { theme = old_theme; if theme.save_patch(theme_path).is_ok() { - log::info!("Converted old theme to new format."); + log::info!( + "Converted old theme to new format. ({:?})", + theme_path + ); } else { - log::warn!("Failed to save theme in new format."); + log::warn!( + "Failed to save theme in new format. ({:?})", + theme_path + ); } } |