У меня есть kubuntu 18.04 , и мне нужно знать, как изменить шрифты значков на рабочем столе на жирный:
Я пытался найти любые CSS-файлы, такие как в Xfce или Gnome, чтобы изменить стиль шрифта значков рабочего стола, но я не смог найти ничего в ~/.local/share/plasma/desktoptheme
или ~/.local/share/plasma/look-and-feel
для текущего активного рабочего стола тема.
Благодаря Д. К. Бозе файл, который он рассматривал в комментариях ~/.config/kdeglobals
, побуждает меня ответить на вопрос с некоторыми ограничениями.
Решение
Откройте файл ~/.config/kdeglobals
с помощью Кейт и найдите следующий блок код:
[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 будут выделены жирным шрифтом значков.