(final KeyEvent e)
| 100 | } |
| 101 | |
| 102 | @Override |
| 103 | public void keyPressed(final KeyEvent e) { |
| 104 | if(gui.updating) return; |
| 105 | if(ESCAPE.is(e)) gui.fullscreen(false); |
| 106 | |
| 107 | if(gui.context.data() == null) return; |
| 108 | if(SPACE.is(e)) { |
| 109 | gui.notify.mark(sc(e) ? 2 : e.isShiftDown() ? 1 : 0, null); |
| 110 | } else if(ENTER.is(e)) { |
| 111 | GUIMenuCmd.C_FILTER_NODES.execute(gui); |
| 112 | } |
| 113 | } |
| 114 | |
| 115 | @Override |
| 116 | public final String toString() { |