/** Handles the event when the key is pressed */ public void processKeyEvent(KeyEvent e) { int keyCode = e.getKeyCode(); if (e.getID() == KeyEvent.KEY_PRESSED) { if (keyCode == KeyEvent.VK_Z) lockZoom(); else if (keyCode == KeyEvent.VK_T) fixElTimePointer(currTime); } else super.processKeyEvent(e); }