É um bug
Existe um ppa com o código GTK corrigido que corrige o problema
Desde a atualização para o 13.10, a rolagem no Gedit não funciona mais. Em qualquer outro lugar isso acontece.
Poderia estar relacionado com Bug # 1240957 “Comportamento de rolagem e foco de janela mudou um ... ”: Bugs: pacote“ gtk + 3.0 ”: Ubuntu mas preciso de rolagem. A atualização para o mais recente gtk3.0 disponível em proposta / sem suporte não ajudou. Mais alguém tem o mesmo problema? Como eu posso resolver esse problema