()
| 3111 | } |
| 3112 | |
| 3113 | void setKeyDown() { |
| 3114 | String keys = getStringArg(); |
| 3115 | keys = keys.toLowerCase(Locale.US); |
| 3116 | altKeyDown = keys.indexOf("alt")!=-1; |
| 3117 | if (altKeyDown) |
| 3118 | IJ.setKeyDown(KeyEvent.VK_ALT); |
| 3119 | else |
| 3120 | IJ.setKeyUp(KeyEvent.VK_ALT); |
| 3121 | shiftKeyDown = keys.indexOf("shift")!=-1; |
| 3122 | if (shiftKeyDown) |
| 3123 | IJ.setKeyDown(KeyEvent.VK_SHIFT); |
| 3124 | else |
| 3125 | IJ.setKeyUp(KeyEvent.VK_SHIFT); |
| 3126 | boolean controlKeyDown = keys.indexOf("control")!=-1; |
| 3127 | if (controlKeyDown) |
| 3128 | IJ.setKeyDown(KeyEvent.VK_CONTROL); |
| 3129 | else |
| 3130 | IJ.setKeyUp(KeyEvent.VK_CONTROL); |
| 3131 | if (keys.equals("space")) |
| 3132 | IJ.setKeyDown(KeyEvent.VK_SPACE); |
| 3133 | else |
| 3134 | IJ.setKeyUp(KeyEvent.VK_SPACE); |
| 3135 | if (keys.indexOf("esc")!=-1) |
| 3136 | abortPluginOrMacro(); |
| 3137 | else |
| 3138 | interp.keysSet = true; |
| 3139 | } |
| 3140 | |
| 3141 | void abortPluginOrMacro() { |
| 3142 | Interpreter.abortPrevious(); |
no test coverage detected