Как изменить ширину полосы прокрутки KDE Plasma?

Как изменить ширину полосы прокрутки KDE Plasma?

Как изменить ширину полосы прокрутки в KDE Plasma 5.9.4 на Ubuntu 17.04?

Диалоговое Application Styleокно больше не содержит этого параметра.

решение1

В KUbuntu 20.04 я нашел, изменив некоторые числа в:/usr/share/themes/Breeze/gtk-3.0

В конце концов, в моем случае строки, начинающиеся со строки 38456, исправили мою проблему.

scrollbar trough {
    transition-duration: 0.1s;
    min-width: 20px;
}

и

scrollbar:hover trough {
    background-color: mix(@theme_unfocused_bg_color,@theme_unfocused_fg_color,0.7);
    min-width: 18px;
}
scrollbar:hover slider {
    min-width: 18px;
}

решение2

Не знаю насчет 17.04, но в 18.04 можно выбрать стиль Oxygen, в котором есть настройка ширины полосы прокрутки. В Breeze по умолчанию такой настройки нет.

Для приложений gtk я создал собственную тему в ~/.themes на основе существующей в /usr/share/themes и изменил gtk.css, чтобы сделать полосу прокрутки больше. С gtk-3.20 это проще, чем с предыдущими версиями, вам просто нужно увеличить min-width в разделе Scrollbars и, по желанию, border-radius. В 3.18 и более ранних версиях вам нужно увеличить размеры растяжения для многих элементов в том же файле.

Тем не менее, я бы хотел, чтобы разработчики использовали по умолчанию хотя бы 20 пикселей для полосы прокрутки, это не так уж много из 1920 пикселей, и эти пиксели потрачены не зря...

Связанный контент