(int key)
| 1173 | * KeyEvent.VK_SPACE or KeyEvent.VK_ESCAPE. |
| 1174 | */ |
| 1175 | public static void setKeyDown(int key) { |
| 1176 | switch (key) { |
| 1177 | case KeyEvent.VK_CONTROL: |
| 1178 | controlDown=true; |
| 1179 | break; |
| 1180 | case KeyEvent.VK_META: |
| 1181 | if (isMacintosh()) controlDown=true; |
| 1182 | break; |
| 1183 | case KeyEvent.VK_ALT: |
| 1184 | altDown=true; |
| 1185 | updateStatus(); |
| 1186 | break; |
| 1187 | case KeyEvent.VK_SHIFT: |
| 1188 | shiftDown=true; |
| 1189 | if (debugMode) beep(); |
| 1190 | break; |
| 1191 | case KeyEvent.VK_SPACE: { |
| 1192 | spaceDown=true; |
| 1193 | ImageWindow win = WindowManager.getCurrentWindow(); |
| 1194 | //if (win!=null) win.getCanvas().setCursor(-1,-1,-1, -1); |
| 1195 | break; |
| 1196 | } |
| 1197 | case KeyEvent.VK_ESCAPE: { |
| 1198 | escapePressed = true; |
| 1199 | break; |
| 1200 | } |
| 1201 | } |
| 1202 | } |
| 1203 | |
| 1204 | /* Sets the specified key "up", where 'key' |
| 1205 | * is KeyEvent.VK_CONTROL, KeyEvent.VK_META, |
no test coverage detected