|
Lines 3032-3049
int /*long*/ gtk_focus_out_event (int /*long*/ widget, int /*long*/ event) {
Link Here
|
| 3032 |
} |
3032 |
} |
| 3033 |
|
3033 |
|
| 3034 |
int /*long*/ gtk_key_press_event (int /*long*/ widget, int /*long*/ event) { |
3034 |
int /*long*/ gtk_key_press_event (int /*long*/ widget, int /*long*/ event) { |
| 3035 |
if (!hasFocus ()) return 0; |
|
|
| 3036 |
GdkEventKey gdkEvent = new GdkEventKey (); |
3035 |
GdkEventKey gdkEvent = new GdkEventKey (); |
| 3037 |
OS.memmove (gdkEvent, event, GdkEventKey.sizeof); |
3036 |
OS.memmove (gdkEvent, event, GdkEventKey.sizeof); |
|
|
3037 |
|
| 3038 |
if (filterKey (gdkEvent.keyval, event)) return 1; |
| 3039 |
// widget could be disposed at this point |
| 3040 |
if (isDisposed ()) return 0; |
| 3041 |
|
| 3042 |
if (!hasFocus ()) return 0; |
| 3038 |
|
3043 |
|
| 3039 |
if (translateMnemonic (gdkEvent.keyval, gdkEvent)) return 1; |
3044 |
if (translateMnemonic (gdkEvent.keyval, gdkEvent)) return 1; |
| 3040 |
// widget could be disposed at this point |
3045 |
// widget could be disposed at this point |
| 3041 |
if (isDisposed ()) return 0; |
3046 |
if (isDisposed ()) return 0; |
| 3042 |
|
3047 |
|
| 3043 |
if (filterKey (gdkEvent.keyval, event)) return 1; |
|
|
| 3044 |
// widget could be disposed at this point |
| 3045 |
if (isDisposed ()) return 0; |
| 3046 |
|
| 3047 |
if (translateTraversal (gdkEvent)) return 1; |
3048 |
if (translateTraversal (gdkEvent)) return 1; |
| 3048 |
// widget could be disposed at this point |
3049 |
// widget could be disposed at this point |
| 3049 |
if (isDisposed ()) return 0; |
3050 |
if (isDisposed ()) return 0; |
