Возможно ли сделать полосы прокрутки шире в 15.10?

Я только что установил Ubuntu 15.10, и я довольно доволен этим. Среди прочего, я рад, что полосы прокрутки без полосы прокрутки исчезли, но новые все еще слишком тонки для меня; Я предпочел бы потерять несколько пикселей недвижимости из своих приложений и выиграть полосу прокрутки, на которую я могу нажимать без точности снайпера.

Можно ли сделать полосы прокрутки немного шире, не разрушая все?

2 ответа

Решение

Если вы имеете в виду тонкую полосу прокрутки GTK3, то это из свойств темы. Это для Ambiance.

  1. открыто /usr/share/themes/Ambiance/gtk-3.0/gtk-widgets.css для редактирования

    gksu gedit
    
  2. Обойдите линию 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;
}
Другие вопросы по тегам