O gerenciador de janelas não sabe absolutamente nada sobre as barras de rolagem. Eles são desenhados pelo toolkit de widget que cada programa usa - no GNOME é principalmente GTK +, no KDE é principalmente Qt. Assim, o comportamento da barra de rolagem nos programas do GNOME (Cinnamon) seria uma opção do GTK + e, mais especificamente, uma opção do GTK 3 no seu caso.
Para voltar permanentemente ao comportamento antigo da barra de rolagem, defina o gtk-primary-button-warps-slider para false
no seu ~/.config/gtk-3.0/settings.ini
.
(Sim, poderia ter sido adicionado ao aplicativo "Configurações" do Cinnamon, embora seja um pouco obscuro e com maior probabilidade de aparecer no "GNOME Tweak Tool". Arquive uma solicitação de recurso.)
No GTK + 3, você tem métodos alternativos:
-
Clique e segure o controle deslizante de rolagem por alguns segundos, até que ele mude para "modo preciso" (o controle deslizante ficará mais fino) e rolará apenas algumas linhas em um tempo.
-
Alternativamente, segure Shift para entrar imediatamente no "modo preciso", da mesma forma que o anterior.
-
Ou use Shift PageUp / PageDown para rolar o terminal página por página.