1
Index: unity-greeter-0.2.9/src/unity-greeter.vala
2
===================================================================
3
--- unity-greeter-0.2.9.orig/src/unity-greeter.vala 2012-11-21 15:24:50.000000000 +1300
4
+++ unity-greeter-0.2.9/src/unity-greeter.vala 2014-04-09 13:57:31.509980391 +1200
6
var display = Gdk.x11_lookup_xdisplay (xevent.xmap.display);
7
var xwin = xevent.xmap.window;
8
var win = Gdk.X11Window.foreign_new_for_display (display, xwin);
10
- /* Check to see if this window is our onboard window, since we don't want to focus it. */
11
- X.Window keyboard_xid = 0;
12
- if (main_window.menubar.keyboard_window != null)
13
- keyboard_xid = Gdk.X11Window.get_xid (main_window.menubar.keyboard_window.get_window ());
15
- if (xwin != keyboard_xid && win.get_type_hint() != Gdk.WindowTypeHint.NOTIFICATION)
18
- win.focus (Gdk.CURRENT_TIME);
20
- /* Make sure to keep keyboard above */
21
+ /* Check to see if this window is our onboard window, since we don't want to focus it. */
22
+ X.Window keyboard_xid = 0;
23
if (main_window.menubar.keyboard_window != null)
24
- main_window.menubar.keyboard_window.get_window ().raise ();
25
+ keyboard_xid = Gdk.X11Window.get_xid (main_window.menubar.keyboard_window.get_window ());
27
+ if (xwin != keyboard_xid && win.get_type_hint() != Gdk.WindowTypeHint.NOTIFICATION)
29
+ win.focus (Gdk.CURRENT_TIME);
31
+ /* Make sure to keep keyboard above */
32
+ if (main_window.menubar.keyboard_window != null)
33
+ main_window.menubar.keyboard_window.get_window ().raise ();
37
else if (xevent.type == X.EventType.UnmapNotify)