|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object java.awt.event.KeyAdapter rdr.gui.CaseBrowser.MyKeyListener
public class CaseBrowser.MyKeyListener
Key listener to update the classifications set whenever the up or down key is pressed (thus changing the selected case)
Constructor Summary | |
---|---|
CaseBrowser.MyKeyListener()
|
Method Summary | |
---|---|
void |
keyPressed(java.awt.event.KeyEvent ke)
|
Methods inherited from class java.awt.event.KeyAdapter |
---|
keyReleased, keyTyped |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public CaseBrowser.MyKeyListener()
Method Detail |
---|
public void keyPressed(java.awt.event.KeyEvent ke)
keyPressed
in interface java.awt.event.KeyListener
keyPressed
in class java.awt.event.KeyAdapter
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |