PROBLEMA Aumentare la dimensione della barra di scorrimento in Ubuntu 17.04

[SuperBretHart]

Salve ragazzi,

ho un problema fastidioso:le barre laterali nei documenti e nel browser sono troppo piccole.Le vorrei più larghe...Cosa devo fare per risolvere questo problema? Grazie in anticipo.

 

[Calaf]

Dovrebbe essere possibile modificando il file /usr/share/themes/Ambiance/gtk-3.0/gtk-widgets.css, in particolare la riga -GtkRange-slider-width: numero; ...
Potrebbe dover essere necessario modificare anche i margini delle barre, se aumenti troppo la dimensione. Lo puoi fare nello stesso file, poco più sotto alle voci margin-left/right/top

 

[davethecipo]

@Calaf non ne sono certo ma ho l'impressione che al prossimo aggiornamento del tema il file in /usr/share verrà sovrascritto