dont_trigger_release_key.diff
| src/com/goldencode/p2j/ui/chui/ThinClient.java 2019-06-21 23:04:21 +0000 | ||
|---|---|---|
| 18672 | 18672 |
} |
| 18673 | 18673 | |
| 18674 | 18674 |
// in the event list for an active user interface trigger |
| 18675 |
if (key > 0 && key != KeyInput.CHAR_UNDEFINED) |
|
| 18675 |
if (key > 0 && key != KeyInput.CHAR_UNDEFINED && evt.id() != EventType.KEY_RELEASED)
|
|
| 18676 | 18676 |
{
|
| 18677 | 18677 |
tr = invokeTriggers(src, key, false); |
| 18678 | 18678 | |
| ... | ... | |
| 18779 | 18779 |
} |
| 18780 | 18780 | |
| 18781 | 18781 |
// check for possible ANY-KEY |
| 18782 |
if ((tr == null || !tr.executed) && evt != null && evt.isRealKey()) |
|
| 18782 |
if ((tr == null || !tr.executed) && evt != null && evt.isRealKey() && evt.id() != EventType.KEY_RELEASED)
|
|
| 18783 | 18783 |
{
|
| 18784 | 18784 |
tr = invokeTriggers(src, key, true); |
| 18785 | 18785 | |