|
Lines 424-430
Link Here
|
| 424 |
int /*long*/ xDisplay = OS.gdk_x11_drawable_get_xdisplay (window); |
424 |
int /*long*/ xDisplay = OS.gdk_x11_drawable_get_xdisplay (window); |
| 425 |
int /*long*/ xWindow = OS.gdk_x11_drawable_get_xid (window); |
425 |
int /*long*/ xWindow = OS.gdk_x11_drawable_get_xid (window); |
| 426 |
OS.gdk_error_trap_push (); |
426 |
OS.gdk_error_trap_push (); |
| 427 |
OS.XSetInputFocus (xDisplay, xWindow, OS.RevertToParent, OS.gtk_get_current_event_time ()); |
427 |
OS.XSetInputFocus (xDisplay, xWindow, OS.RevertToParent, OS.CurrentTime); |
| 428 |
OS.gdk_error_trap_pop (); |
428 |
OS.gdk_error_trap_pop (); |
| 429 |
} else { |
429 |
} else { |
| 430 |
OS.gdk_window_focus (window, OS.gtk_get_current_event_time ()); |
430 |
OS.gdk_window_focus (window, OS.gtk_get_current_event_time ()); |
