public static class ResultHistoryPanel.RKeyAdapter extends java.awt.event.KeyAdapter implements java.io.Serializable
ResultHistoryPanel.RKeyAdapter()
keyPressed, keyReleased, keyTyped
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public ResultHistoryPanel.RKeyAdapter()