Set keyboard numbers to null if esc pressed
authoramwaterhouse <Andrew Waterhouse>
Tue, 4 Apr 2006 10:50:04 +0000 (10:50 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 4 Apr 2006 10:50:04 +0000 (10:50 +0000)
commit49444a1e7e2cf192e386e28732175fd2cf59bbad
treeae8094f4ab2764bc5d5ee02b43cbcb1635872c52
parentf7d45a21db810c5f8f7ca668d1a28f1403defe32
Set keyboard numbers to null if esc pressed
src/jalview/appletgui/AlignFrame.java