Warning message if file was not saved, repaint ids on multiple views
[jalview.git] / resources / images / idwidth.gif
resources/images/idwidth.gif