paintFlag removed
authoramwaterhouse <Andrew Waterhouse>
Thu, 7 Apr 2005 11:35:02 +0000 (11:35 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 7 Apr 2005 11:35:02 +0000 (11:35 +0000)
commit34e7d17e5283f39efcbfdaa46de54f9d0aec1e91
tree48513c9741b7f223de7569f832c76082508be163
parentc3162a6dd5f226c743bce629cf125a17c9b67711
paintFlag removed
src/jalview/gui/PopupMenu.java
src/jalview/gui/SliderPanel.java