Eu tenho desinstalado overlay-scrollbar . Mas no gedit roda do mouse não funciona quando a rolagem.
Em outros programas do gnome e do kde, a roda do mouse funciona bem; está desativado apenas no gedit. Abro-o no ambiente do kde.
O que há de errado com o gedit?