С тех пор, как ненавистные и ошибочные "полосы прокрутки наложения" появились, я отключил их и использовал "нормальные" полосы прокрутки, таким образом, я рад, что наложения наконец не стало в 15,10.
Однако мне не нравятся новые 15,10 полос прокрутки также. Они супер тонкий, когда они "неактивны", и даже когда Вы переворачиваете их, и они становятся более толстыми, они являются все еще раздражающе тонкими. Я могу ценить преимущество этого на устройствах с маленьким экраном, но на регулярных мониторах с большим количеством пространства это является просто раздражающим (раздражающий, который они скрывают, и раздражающий, что требуется такая точность для перетаскивания их).
Существует ли установка где-нибудь, чтобы иметь традиционные, полноширинные, никогда скрывающиеся полосы прокрутки?
Обратите внимание, что Вы не должны редактировать системный файл, можно также просто поместить соответствующие настройки в $HOME/.config/gtk-3.0/gtk.css
Я могу все еще помнить счастье, которое я чувствовал, когда я считал, что те ужасные "полосы прокрутки наложения" должны были быть отменены с Ubuntu 15.10.
Однако как Вы, я также ненавижу новые "полосы прокрутки полуширины" только с той же страстью.
Решение прибыло ко мне, когда я споткнулся следующую регистрацию askubuntu.com:
Действительно ли возможно сделать полосы прокрутки шире в 15,10?
... для отключения новых полос прокрутки я затем сделал следующее:
.scrollbar{}
селектор has-xxx-stepper
настройки определяют, показывают ли стрелки полосы прокрутки:-GtkScrollbar-has-backward-stepper: 1;
-GtkScrollbar-has-forward-stepper: 1;
background-color:
background-color: @scrollbar_track_color;
-GtkRange
установка:-GtkRange-slider-width: 13;
margin-left
и margin-right
настройки для .scrollbar.vertical
и .scrollbar.slider.vertical
кому: 0px;
margin-top
установка для .scrollbar.horizontal:hover
и .scrollbar.slider.horizontal:...
кому: 0px;
С этим я могу теперь наслаждаться полосами прокрутки постоянной ширины еще раз:
Править: Только, чтобы ясно дать понять все, вот разность всех изменений, которые я внес:
diff /usr/share/themes/Ambiance/gtk-3.0/gtk-widgets.css /usr/share/themes/Ambiance/gtk-3.0/gtk-widgets.ori.css
1139,1140c1139,1140
< -GtkScrollbar-has-backward-stepper: 1;
< -GtkScrollbar-has-forward-stepper: 1;
---
> -GtkScrollbar-has-backward-stepper: 0;
> -GtkScrollbar-has-forward-stepper: 0;
1143c1143
< -GtkRange-slider-width: 13;
---
> -GtkRange-slider-width: 10;
1147d1146
< background-color: @scrollbar_track_color;
1167c1166
< margin-left: 0px;
---
> margin-left: 2px;
1172c1171
< margin-right: 0px;
---
> margin-right: 2px;
1179c1178
< margin-top: 0px;
---
> margin-top: 2px;
1197c1196
< margin-left: 0px;
---
> margin-left: 7px;
1201c1200
< margin-right: 0px;
---
> margin-right: 7px;
1205c1204
< margin-top: 0px;
---
> margin-top: 7px;