Commit c3e7d1d0 authored by Eitan Isaacson's avatar Eitan Isaacson

Fixed crash when selecting item under pointer. Workaround for pygtk gdk bug...

Fixed crash when selecting item under pointer. Workaround for pygtk gdk bug (http://bugzilla.gnome.org/show_bug.cgi?id=593732).
parent ef0ee4dc
......@@ -70,6 +70,7 @@ class QuickSelect(Plugin):
'''
display = gtk.gdk.Display(gtk.gdk.get_display())
screen, x, y, flags = display.get_pointer()
del screen # A workaround http://bugzilla.gnome.org/show_bug.cgi?id=593732
# First check if the currently selected accessible has the pointer over it.
# This is an optimization: Instead of searching for
......@@ -106,6 +107,7 @@ class QuickSelect(Plugin):
else:
if z_order > top_window[1]:
top_window = (acc, z_order)
if top_window[0]:
self.node.update(top_window[0])
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment