Warning message if file was not saved, repaint ids on multiple views
authoramwaterhouse <Andrew Waterhouse>
Thu, 30 Nov 2006 14:41:11 +0000 (14:41 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 30 Nov 2006 14:41:11 +0000 (14:41 +0000)
commit16bf6a28effe9a4552d933d0a909f633cd091be4
treec9dc0974c2a0a967b812fa559aed7cd2282734e7
parent1317ecb3c6b047999fa852b2ff28c3370aa84624
Warning message if file was not saved, repaint ids on multiple views
src/jalview/gui/AlignFrame.java