private void testMouseWheelZooming() {
   window.pressKey(VK_CONTROL);
   ImageComponent c = ImageComponents.getActiveIC();
   robot.rotateMouseWheel(c, 2);
   robot.rotateMouseWheel(c, -2);
   window.releaseKey(VK_CONTROL);
 }
 private void shiftMoveClickRandom() {
   window.pressKey(VK_SHIFT);
   int x = 200 + random.nextInt(400);
   int y = 200 + random.nextInt(400);
   move(x, y);
   click();
   window.releaseKey(VK_SHIFT);
 }
 private void keyboardRedo() {
   // press Ctrl-Shift-Z
   window
       .pressKey(VK_CONTROL)
       .pressKey(VK_SHIFT)
       .pressKey(VK_Z)
       .releaseKey(VK_Z)
       .releaseKey(VK_SHIFT)
       .releaseKey(VK_CONTROL);
 }
 private void altDrag(int x, int y) {
   window.pressKey(VK_ALT);
   drag(x, y);
   window.releaseKey(VK_ALT);
 }
 private void keyboardNudge() {
   // TODO for some reason the shift is not detected
   window.pressKey(VK_SHIFT).pressKey(VK_RIGHT).releaseKey(VK_RIGHT).releaseKey(VK_SHIFT);
 }
 private void keyboardActualPixels() {
   // press Ctrl-0
   window.pressKey(VK_CONTROL).pressKey(VK_0).releaseKey(VK_0).releaseKey(VK_CONTROL);
 }
 private void keyboardDeselect() {
   // press Ctrl-D
   window.pressKey(VK_CONTROL).pressKey(VK_D).releaseKey(VK_D).releaseKey(VK_CONTROL);
 }
 private void keyboardInvert() {
   // press Ctrl-I
   window.pressKey(VK_CONTROL).pressKey(VK_I).releaseKey(VK_I).releaseKey(VK_CONTROL);
 }
 private void keyboardUndo() {
   // press Ctrl-Z
   window.pressKey(VK_CONTROL).pressKey(VK_Z).releaseKey(VK_Z).releaseKey(VK_CONTROL);
 }
 private void pressCtrlMinus() {
   window.pressKey(VK_CONTROL).pressKey(VK_MINUS).releaseKey(VK_MINUS).releaseKey(VK_CONTROL);
 }
 private void pressCtrlNumpadPlus() {
   window.pressKey(VK_CONTROL).pressKey(VK_ADD).releaseKey(VK_ADD).releaseKey(VK_CONTROL);
 }