Correção rápida, wfm:
cat <<HERE >~/.config/gtk-3.0/gtk.css
.scrollbar {
-GtkScrollbar-has-backward-stepper: true;
-GtkScrollbar-has-forward-stepper: true;
}
HERE
Eu descobri que depois de ler esta solução mais envolvente envolvendo a edição dos arquivos de tema do sistema: link