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

Я начал использовать Linux Mint 13 Mate несколько дней назад, и я не могу все равно изменить ширину полосы прокрутки, независимо от того, является ли это firefox, chrome или File Manager.

Я попытался найти google с «Размер полосы прокрутки Linux Mint 13» или «Размер прокрутки Linux» в качестве ключевых слов, но результат не является полезным.

Я просмотрел все возможности в Центре управления и ничего не нашел, поэтому я сомневаюсь, что у них есть опция в Linux Mint 13. На самом деле это довольно неудачный процесс, хотя они утверждают, что Linux Mint удобен для пользователя.

Если кто-нибудь знает, какой дистрибутив linux имеет этот параметр, пожалуйста, скажите мне. Благодарю.

Ширина полосы прокрутки зависит от инструментария виджета, используемого вашей рабочей средой, а не самого дистрибутива. Это означает, что ширина задается темой (GTK, QT и т. Д.).

Поскольку вы используете Mint, я вполне уверен, что это GTK в вашем случае, поэтому изменить тему было бы достаточно, чтобы повлиять на нее. Многие сайты имеют большой выбор из них (просто Google gtk themes): D).

Кроме того, вы можете вручную переопределить его, создав файл с именем .gtkrc-2.0 в вашей домашней папке со следующей строкой slider-width=X где X – желаемая ширина в пикселях.

EDIT: Вот список всех свойств gtk scrolllbars, которые могут возникнуть. https://wiki.gnome.org/Attic/GnomeArt/Tutorials/GtkThemes/GtkScrollbar

EDIT2: Извините, я не понял, что забыл упомянуть, что опция в gtkrc-2.0 должна быть связана с gtkrc-2.0 . Правильный способ:

 style "scrollbar-style" { slider-width = 9 # for example } class "GtkScrollbar" style "scrollbar-style" class "GtkVScrollbar" style "scrollbar-style" class "GtkHScrollbar" style "scrollbar-style" 

Аналогичным образом вы можете открыть файл темы gtk и выполнить поиск по тому же свойству и настроить его. В любом случае это требует обновления для последнего и выхода для первого.