style: fix Plasma themes

This commit is contained in:
Michael Straube 2019-10-27 09:30:28 +01:00
parent 501d6b7594
commit 3be3b93634
1 changed files with 3 additions and 2 deletions

View File

@ -2726,7 +2726,7 @@ get_style() {
# Check for DE Theme. # Check for DE Theme.
case "$de" in case "$de" in
"KDE"*) "KDE"* | "Plasma"*)
kde_config_dir kde_config_dir
if [[ -f "${kde_config_dir}/kdeglobals" ]]; then if [[ -f "${kde_config_dir}/kdeglobals" ]]; then
@ -2739,7 +2739,7 @@ get_style() {
kde_font_size="${kde_font_size/,*}" kde_font_size="${kde_font_size/,*}"
kde_theme="${kde_theme/,*} ${kde_theme/*,} ${kde_font_size}" kde_theme="${kde_theme/,*} ${kde_theme/*,} ${kde_font_size}"
fi fi
kde_theme="$kde_theme [KDE], " kde_theme="$kde_theme ["$de"], "
else else
err "Theme: KDE config files not found, skipping." err "Theme: KDE config files not found, skipping."
fi fi
@ -2845,6 +2845,7 @@ get_style() {
theme="${theme// '[GTK'[0-9]']'}" theme="${theme// '[GTK'[0-9]']'}"
theme="${theme/ '[GTK2/3]'}" theme="${theme/ '[GTK2/3]'}"
theme="${theme/ '[KDE]'}" theme="${theme/ '[KDE]'}"
theme="${theme/ '[Plasma]'}"
fi fi
fi fi
} }