Изменить шрифт значка рабочего стола Kubuntu на жирный
У меня есть kubuntu 18.04, и мне нужно знать, как изменить шрифты значков на рабочем столе на жирный:
Я пытался найти любые CSS-файлы, такие как в Xfce или Gnome, чтобы изменить стиль шрифта значков на рабочем столе, но я не смог найти ничего в ~/.local/share/plasma/desktoptheme
или же ~/.local/share/plasma/look-and-feel
для текущей активной темы рабочего стола.
1 ответ
Благодаря DK Bose, файл, который он рассматривал в комментариях ~/.config/kdeglobals
приводит меня к ответу на вопрос с некоторыми ограничениями.
Решение
Открыть файл ~/.config/kdeglobals
используя kate и найдите следующий блок кода:
[General]
BrowserApplication[$e]=firefox.desktop
ColorScheme=Card
Name=Card
XftAntialias=true
dbfile=/home/saidbakr/.mozilla/firefox/3tzvfegj.default/places.sqlite
fixed=Hack,9,-1,5,50,0,0,0,0,0,Regular
font=Noto Sans,10,-1,5,50,0,0,0,0,0,Regular
menuFont=Noto Sans,10,-1,5,50,0,0,0,0,0,Regular
shadeSortColumn=true
smallestReadableFont=Noto Sans,8,-1,5,50,0,0,0,0,0,Regular
toolBarFont=Noto Sans,10,-1,5,50,0,0,0,0,0,Regular
widgetStyle=Breeze
Заменить Regular
в соответствии font=Noto Sans,10,-1,5,50,0,0,0,0,0,Regular
от Bold
,
Таким образом, шрифт значков на рабочем столе будет выделен жирным шрифтом.
Ограничение
Будут затронуты не только шрифты значков на рабочем столе, почти все представления папок в Dolphin будут выделены жирным шрифтом значков.