equal
deleted
inserted
replaced
1089 } |
1089 } |
1090 |
1090 |
1091 public Component getOriginalSource( KeyEvent ev ) { |
1091 public Component getOriginalSource( KeyEvent ev ) { |
1092 return ev.originalSource; |
1092 return ev.originalSource; |
1093 } |
1093 } |
|
1094 |
|
1095 @Override |
|
1096 public boolean isProxyActive(KeyEvent ev) { |
|
1097 return ev.isProxyActive; |
|
1098 } |
1094 }); |
1099 }); |
1095 } |
1100 } |
1096 |
1101 |
1097 /** |
1102 /** |
1098 * Initialize JNI field and method IDs for fields that may be |
1103 * Initialize JNI field and method IDs for fields that may be |