Comment 4 for bug 399031

Revision history for this message
Marcus Carlson (0-launchpad-mejlamej-nu) wrote :

I can also confirm this and as I posted in [1] I think adding a "!" around line 2216 in panel-widget.c seems to fix the issue.

     event_time = event->time;
- if (event->send_event)
+ if (!event->send_event)
         event_time = GDK_CURRENT_TIME;

[1] http://bugzilla.gnome.org/show_bug.cgi?id=114160