561 |
postWindowEventID, |
postWindowEventID, |
562 |
(jint) AWT_WINDOW_GAINED_FOCUS, |
(jint) AWT_WINDOW_GAINED_FOCUS, |
563 |
(jobject) NULL, (jint) 0); |
(jobject) NULL, (jint) 0); |
|
/* FIXME: somewhere after this is handled, the child window is |
|
|
getting an expose event. */ |
|
564 |
gdk_threads_enter (); |
gdk_threads_enter (); |
565 |
return FALSE; |
return FALSE; |
566 |
} |
} |
575 |
postWindowEventID, |
postWindowEventID, |
576 |
(jint) AWT_WINDOW_LOST_FOCUS, |
(jint) AWT_WINDOW_LOST_FOCUS, |
577 |
(jobject) NULL, (jint) 0); |
(jobject) NULL, (jint) 0); |
|
/* FIXME: somewhere after this is handled, the child window is |
|
|
getting an expose event. */ |
|
578 |
gdk_threads_enter (); |
gdk_threads_enter (); |
579 |
return FALSE; |
return FALSE; |
580 |
} |
} |