remove excessive painting
authoramwaterhouse <Andrew Waterhouse>
Fri, 27 Apr 2007 16:21:01 +0000 (16:21 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 27 Apr 2007 16:21:01 +0000 (16:21 +0000)
commit9f5c441eab11a7bfedbe8b23735519e43369d9dd
tree5902eed01c8dd13dda04ed35649f8802117faefc
parent16af141746661052f9902fe1ee2872ed07929667
remove excessive painting
src/jalview/gui/ScalePanel.java
src/jalview/gui/SeqPanel.java