Warning message if file was not saved, repaint ids on multiple views
[jalview.git] / src / uk /
2005-12-06 amwaterhouseAfter branch merge