525 |
event->key.send_event = 0; |
event->key.send_event = 0; |
526 |
event->key.time = (guint32) when; |
event->key.time = (guint32) when; |
527 |
|
|
528 |
if (mods & AWT_SHIFT_MASK) |
if (mods & AWT_SHIFT_DOWN_MASK) |
529 |
event->key.state |= GDK_SHIFT_MASK; |
event->key.state |= GDK_SHIFT_MASK; |
530 |
if (mods & AWT_CTRL_MASK) |
if (mods & AWT_CTRL_DOWN_MASK) |
531 |
event->key.state |= GDK_CONTROL_MASK; |
event->key.state |= GDK_CONTROL_MASK; |
532 |
if (mods & AWT_ALT_MASK) |
if (mods & AWT_ALT_DOWN_MASK) |
533 |
event->key.state |= GDK_MOD1_MASK; |
event->key.state |= GDK_MOD1_MASK; |
534 |
|
|
535 |
/* This hack is needed because the AWT has no notion of num lock. |
/* This hack is needed because the AWT has no notion of num lock. |