Re: [anjuta-devel] Gnome 3.4 / Anjuta / Scintilla Plugin

2012-05-21 Thread Sébastien Granjoux
Hi, Le 18/05/2012 14:21, Lanoxx a écrit : I am using 3.4.0-1 on Ubuntu Precise (12.04). I have already seen this fix for anjuta-extras and I do think it should be included here in my distribution, since I am using 3.4.0. But still I have this bug. If someone wants to, I can provide a Teamviewer

Re: [anjuta-devel] Gnome 3.4 / Anjuta / Scintilla Plugin

2012-05-21 Thread Sébastien Granjoux
Hi, 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. W

Re: [anjuta-devel] Gnome 3.4 / Anjuta / Scintilla Plugin

2012-05-18 Thread Lanoxx
Hi, I have fixed a bug related to scrolling in Scintilla due to some changes in Gtk here: http://git.gnome.org/browse/anjuta-extras/commit/?id=6cf8afbbcdd4ed68b3cec71e29d9cf7395e9f85e But this change should have been included in anjuta-extras 3.4. Could you check which version of anjuta-extr