199200201202203204205206207208209
public void mouseReleased ( final MouseEvent e ) { commitChanges.run (); } } ); historyList.addKeyListener ( new KeyAdapter () { @Override public void keyReleased ( final KeyEvent e ) { if ( Hotkey.ENTER.isKeyTriggered ( e ) )
376377378379380381382383384385386
} } }; list.addMouseListener ( mouseAdapter ); list.addKeyListener ( new KeyAdapter () { @Override public void keyReleased ( final KeyEvent e ) { if ( Hotkey.ESCAPE.isTriggered ( e ) )