Change Case is undoable
authoramwaterhouse <Andrew Waterhouse>
Tue, 24 Oct 2006 11:23:29 +0000 (11:23 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 24 Oct 2006 11:23:29 +0000 (11:23 +0000)
commitcc2878265a93ea8b157b518b7b4eea096476acb4
treee720b61b42a4754bc6e3014ce04b833981fa3ff1
parentb35cf05a104a56835520b166eb8e46d76780834e
Change Case is undoable
src/jalview/gui/PopupMenu.java