More keys for editing
authoramwaterhouse <Andrew Waterhouse>
Tue, 4 Apr 2006 09:33:58 +0000 (09:33 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 4 Apr 2006 09:33:58 +0000 (09:33 +0000)
commitad34a24a75ab680fcbdef1376a311fb0e0fcf2cd
treee0b15ac57e5f592ad4552ebc8d0ce66502b00655
parent8901bef4a03b0a1bdc24f5292422c96a564e8dff
More keys for editing
src/jalview/gui/AlignmentPanel.java