alterar largura/altura das barras de deslocamento no gnome

criar o ficheiro ~/.config/gtk-3.0/gtk.css e colocar nele o que se segue:

/*.scrollbar,
scrollbar {
-GtkScrollbar-has-backward-stepper: 1;
-GtkScrollbar-has-forward-stepper: 1;
-GtkRange-stepper-size: 13;
}*/
/*
scrollbar slider {
background-color: @scrollbar_track_color;
}
*/

.scrollbar.vertical slider,
scrollbar.vertical slider {
min-height: 150px;
min-width: 30px;
}

gnome-shell problema de memória

quando inicio o gnome-shell com uma sessão guardada passado alguns dias o processo gnome-shell --sm-client-id 104c1d5139d66c06e915357041575668900000150450000 está a consumir perto de 30GB de RAM.

resolver:
desativar a gravação da sessão utilizando o dconfeditor:
org/gnome/gnome-session e desativar a opção auto-save-session

finalmente remover sessões guardadas:
rm -r /home/xana/.config/gnome-session/saved-session

cat /home/xana/.config/gnome-session/saved-session/org.gnome.Shell.desktop

Subscrever gnome-shell