Прокрутка мышью не работает в gedit [closed]

После обновления до 13.10 прокрутка в Gedit больше не работает. В любом другом месте это так.

Это могло быть связано с ошибкой № 1240957 «Поведение при прокрутке и фокус окна изменились ...»: Ошибки: Пакет «gtk + 3.0»: Ubuntu , но мне нужна прокрутка. Обновление до последней версии gtk3.0, доступной в предложенном / неподдерживаемом, не помогло. Есть ли у кого-нибудь такая же проблема? Как я могу решить эту проблему