Elgato_dark/gitui
1
0
Fork 0
mirror of https://github.com/gitui-org/gitui synced 2026-05-23 17:08:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

print theme file path in log with mesages

Browse source
This commit is contained in:
extrawurst 2023-06-25 14:14:57 +02:00
parent c119e6ae18
commit 5c98e2fe76
1 changed files with 8 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/ui/style.rs
View file

@ -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
);
}
}