Mouse-scroll ne fonctionne pas dans gedit
Depuis la mise à jour vers 13.10, le défilement dans Gedit ne fonctionne plus. Partout ailleurs, c'est le cas.
Cela pourrait être lié à Bug # 1240957 "Comportement du défilement et le focus de la fenêtre a changé ...": Bugs: paquet "gtk + 3.0": Ubunt mais j'ai besoin du défilement. La mise à jour vers la dernière version de gtk3.0 disponible dans proposé/non pris en charge n'a pas aidé. Est-ce que quelqu'un a le même problème? Comment je peux résoudre ce problème