On Sat, Nov 25, 2006, Osamu Aoki wrote:
> Let's put this bug back to gedit if Loïc Minier agrees.
No, it's either gtk, or x11, but not gedit. Perhaps it's only visible
with gtksourceview or gedit + gtksourceview, but the bug is quite
certainly not in these packages. You may reassign to gdk/gtk if you
like.
Perhaps the difference in behavior comes from the handling of focus.
I can imagine some events are not handled by the same widget, or that
more events are generated in one case than the other, or perhaps in a
different order.
Did anyone xtrace the thing?
--
Loïc Minier <[EMAIL PROTECTED]>
10 SIN
20 GO TO ROBOT HELL -- Temple of Robotology
