Seguindo várias idéias na internet consegui modificar minhas barras de rolagem fazendo várias configurações no arquivo:
/root/.config/gtk-3.0/gtk.css
... mas uma coisa que ainda não descobri como fazer é fazer com que as setas para cima e para baixo rolem mais rápido - elas são extremamente lentas. Isso não funciona:
scrollbar
{
-GtkScrollbar-has-backward-stepper: true; < works
-GtkScrollbar-has-forward-stepper: true; < works
background-color: #cccccc; < works
-GtkRange-upper-stepper-sensitivity: 100; < does not work
}
... algo que eu possa fazer? No melhor de todos os mundos possíveis, talvez as setas possam fazer uma 'página para cima' no terminal.
As setas de passo rolam linha por linha em praticamente todos os kits de ferramentas que possuem setas de passo. Para rolar a página inteira, clique na área acima ou abaixo do controle deslizante de rolagem – clique com o botão do meio no GTK, clique com o botão esquerdo no Qt/Windows/Motif. (Não sei por que o GTK decidiu trocar da esquerda para o meio.)