Возможно ли сделать полосы прокрутки шире в 15.10?
Я только что установил Ubuntu 15.10, и я довольно доволен этим. Среди прочего, я рад, что полосы прокрутки без полосы прокрутки исчезли, но новые все еще слишком тонки для меня; Я предпочел бы потерять несколько пикселей недвижимости из своих приложений и выиграть полосу прокрутки, на которую я могу нажимать без точности снайпера.
Можно ли сделать полосы прокрутки немного шире, не разрушая все?
2 ответа
Если вы имеете в виду тонкую полосу прокрутки GTK3, то это из свойств темы. Это для Ambiance.
открыто
/usr/share/themes/Ambiance/gtk-3.0/gtk-widgets.css
для редактированияgksu gedit
Обойдите линию 1143 и измените:
-GtkRange-slider-width: 10;
в
-GtkRange-slider-width: 20;
Кстати, вы всегда можете отправиться в приключение с try & fail:)
grep -rn scroll /usr/share/themes/Ambiance/
Вместо настройки темы установите общие свойства gtk-3.0. Я написал, как сделать это ранее на этой неделе на этом.
Как получить большую статическую полосу прокрутки (она же обычная полоса прокрутки)?
Мой ответ, который не имеет голосов до:(Вот суть
$ cat .config/gtk-3.0/gtk.css
.scrollbar {
-GtkScrollbar-has-backward-stepper: true;
-GtkScrollbar-has-forward-stepper: true;
-GtkRange-slider-width: 20;
-GtkRange-stepper-size: 20;
}