void (DragSourceDragEvent dsde) { final int shiftDownMask = (dsde.getGestureModifiersEx() & KeyEvent.SHIFT_DOWN_MASK); if (shiftDownMask != 0) { myEditor.setDesignTimeInsets(12); } else { myEditor.setDesignTimeInsets(2); } }