Re: [anjuta-devel] Gnome 3.4 / Anjuta / Scintilla Plugin
- From: Sébastien Granjoux <seb sfo free fr>
- To: Lanoxx <lanoxx gmx net>
- Cc: anjuta-devel-list gnome org, desktop-devel-list gnome org
- Subject: Re: [anjuta-devel] Gnome 3.4 / Anjuta / Scintilla Plugin
- Date: Fri, 18 May 2012 12:09:47 +0200
Le 18/05/2012 11:16, Johannes Schmid a écrit :
I just updated to gnome 3.4 and then fired up Anjuta to fix all those
applets in my gnome-panel that have become broken after the update
(which sadly is most of them). But to my surprise I can not use the
scrollwheel in to scroll up any more. When I scroll down everything is
fine, but when I want to scroll backup, then the editor is flickering
for a short moment but does not scroll up. When I switch to the
gtksourceview editor then there is no problem?
Is it a known bug? Any work arounds known?
I have fixed a bug related to scrolling in Scintilla due to some changes
in Gtk here:
But this change should have been included in anjuta-extras 3.4. Could
you check which version of anjuta-extras are you using?
Else here I recompile from source most of the libraries starting from
glib. I'm using the master version of Gtk or something quite close and
the scrolling is working fine.
] [Thread Prev