/** * Invoked when a key has been pressed. * * Checks to see if the key event is a navigation key to prevent * dispatching these keys for the first letter navigation. */ public void keyPressed(KeyEvent e) { if ( isNavigationKey(e) ) { prefix = ""; typedString = ""; lastTime = 0L; } }
/** * Invoked when a key has been pressed. * * Checks to see if the key event is a navigation key to prevent * dispatching these keys for the first letter navigation. */ public void keyPressed(KeyEvent e) { if ( isNavigationKey(e) ) { prefix = ""; typedString = ""; lastTime = 0L; } }
/** * Invoked when a key has been pressed. * * Checks to see if the key event is a navigation key to prevent * dispatching these keys for the first letter navigation. */ public void keyPressed(KeyEvent e) { if ( isNavigationKey(e) ) { prefix = ""; typedString = ""; lastTime = 0L; } }
/** * Invoked when a key has been pressed. * * Checks to see if the key event is a navigation key to prevent * dispatching these keys for the first letter navigation. */ public void keyPressed(KeyEvent e) { if ( isNavigationKey(e) ) { prefix = ""; typedString = ""; lastTime = 0L; } }