15 | | Unfortunately, GTK is so messed up at that point that we cannot use [http://pygtk.org/pygtk2reference/class-gdkwindow.html#method-gdkwindow--raise_ gdk.Window.raise_()] (this raises the wrong window!) and so we have to use [http://pygtk.org/pygtk2reference/class-gtkwindow.html#method-gtkwindow--present gtk.Window.present()], which has side effects: it makes the window flicker as we process a brand new map event for every mouse movement... |
16 | | (maybe we could re-write this using Cython to call [https://developer.apple.com/reference/appkit/nswindow/1419208-makekeyandorderfront?language=objc makeKeyAndOrderFront] directly on the nswindow) |
| 15 | Unfortunately, GTK is so messed up at that point that we cannot use [http://pygtk.org/pygtk2reference/class-gdkwindow.html#method-gdkwindow--raise_ gdk.Window.raise_()] (this raises the wrong window!) and so we have to use [http://pygtk.org/pygtk2reference/class-gtkwindow.html#method-gtkwindow--present gtk.Window.present()], which has side effects: it makes the window flicker as we process a brand new map event for every mouse movement... this stops as soon as you move the mouse outside of the window. |
| 16 | (maybe we could re-write this using Cython to call [https://developer.apple.com/reference/appkit/nswindow/1419208-makekeyandorderfront?language=objc makeKeyAndOrderFront] directly on the nswindow - assuming we can get the handle of the correct one..) |