Я использую Gnome 64-bit edition с классическим рабочим столом и у меня не установлены полосы прокрутки наложения. Мой вопрос в том, как сделать полосы прокрутки шире? Они слишком тонкие, чтобы я мог нажимать на них так быстро и точно, как мне бы хотелось. Есть ли настройка, которую я могу изменить в файлах темы или где-то в d/gconf? Спасибо за помощь!
решение1
Это касается примерно половины из них:
Добавьте следующие строки в ~/.gtkrc-2.0
style "scroll"
{
GtkScrollbar::slider-width = 40
}
class "*" style "scroll"
Работает в Firefox, KiCad и некоторых других.
И, кажется, это вторая половина:
Для всего остального (думаю, gtk3) я скопировал тему, которую использовал, из /usr/share/themes в ~/.themes и дал ей новое имя "MyTheme". Затем в ~/.themes/MyTheme/gtk-3.0 я нашел файл css, содержащий "-GtkScrollbar-slider-width:", и изменил там значение. Я использовал инструмент настройки gnome, чтобы выбрать новую тему. Теперь все мои слайдеры имеют ширину 40 пикселей!
решение2
Я использую Ubuntu 15.10. Вот как я увеличил ширину полосы прокрутки:
Я использую тему Ambiance, поэтому вот что я сделал:
Отредактируйте CSS-файл с помощью этой команды:
sudo gedit /usr/share/themes/Ambiance/gtk-3.0/gtk-widgets.css
Найдите этот раздел:
/*************
* scrollbar *
*************/
.scrollbar {
-GtkScrollbar-has-backward-stepper: 0;
-GtkScrollbar-has-forward-stepper: 0;
-GtkScrollbar-trough-border: 0;
-GtkScrollbar-min-slider-length: 31;
-GtkRange-slider-width: 30; <------------------Change This!!!
Затем сохраните файл и выйдите из системы/войдите снова.
Я был так расстроен раздражающими супер-узкими полосами прокрутки, что почти перешел обратно на Windows из-за этой проблемы. Дизайнеры Ubuntu действительно облажались. Полезные полосы прокрутки довольно важны. Сделать их супер-узкими, чтобы занимать меньше места, былонетхорошая идея. Они должны бытьбольшойпоэтому на них легко кликать! Ubuntu, как и Microsoft, так старается, чтобы все выглядело хорошо на мобильных устройствах, что в итоге они просто портят все для немобильных пользователей. (Простите за критику)
решение3
Прежде всего, вам следует посмотреть, какую тему вы используете. В моем случае для Ubuntu 17.10 темой была Ambiance, а конкретный файл для редактирования был следующим:
/usr/share/themes/Ambiance/gtk-3.20/gtk-widgets.css
Найдите эту часть CSS-файла:
.scrollbar.vertical slider,
scrollbar.vertical slider {
min-height: 15px;
min-width: 5px;
}
А затем изменитемин. ширина: 5 пикселей;для любого значения, которое вы считаете отличным. Я изменил его на 12px, и это невероятно :)