Все эти GTK 3 элемента берут слишком многих, располагают с интервалами вокруг чего-либо, тратя впустую мою экранную энтропию. Я ищу способ изменить конфигурацию GUI по умолчанию, CSS, или, независимо от того, что используется GTK к глобально (что-либо на сеансе пользователя также было бы в порядке), определяют, сколько пространства вокруг чего-то, например, вокруг текста на вкладках программы.
Существует ли путь, не изменяя исходный код некоторых, освобождает (если только через освобождает - который)?
Конфигурация CSS GTK доступна в ~/.config/gtk-3.0/gtk.css
, который может быть свободно отредактирован любым текстовым редактором.
Для знания, какой элемент измениться, однако, необходимо будет использовать инструмент как Инспектор GTK для определения местоположения надлежащих классов/Идентификаторов.