O GNOME Terminal 3.4.1.1 no Ubuntu 12.04 tem um comportamento estranho de rolagem do mouse do IMO: Um único movimento do mouse roda rolagens ceiling($LINES / 10)
linhas, em vez de um número definido. Ou seja, se a janela do terminal estiver entre 31 e 40 linhas, ela rolará quatro linhas por vez. Se forem 100 linhas, rolará 10 linhas de cada vez. Como posso forçá-lo a funcionar como outros aplicativos, rolando N linhas, independentemente da altura da janela?
Tags gnome-terminal