Font: Fix KDE font, #821

This commit is contained in:
Michael Straube 2017-09-12 15:02:13 +02:00
parent f0bcf317d8
commit 8d8b2da890

View file

@ -1617,7 +1617,12 @@ get_style() {
kde_config_file="${kde_config_dir}/kdeglobals"
kde_theme="$(grep "^${kde}" "$kde_config_file")"
kde_theme="${kde_theme/${kde}*=}"
kde_theme="${kde_theme/*=}"
if [[ "$kde" == "font" ]]; then
kde_font_size="${kde_theme#*,}"
kde_font_size="${kde_font_size/,*}"
kde_theme="${kde_theme/,*} ${kde_theme/*,} ${kde_font_size}"
fi
kde_theme="$(uppercase "$kde_theme") [KDE], "
else
err "Theme: KDE config files not found, skipping."