optimize repaints
authoramwaterhouse <Andrew Waterhouse>
Thu, 3 May 2007 14:40:57 +0000 (14:40 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 3 May 2007 14:40:57 +0000 (14:40 +0000)
commitfd618c7346eab858aa0039376872820aca37783a
tree61fbb54a5102831ee0e8faa55393a31106ccab92
parentff385fde554b8fe517dbb734ca687ef7552f2350
optimize repaints
src/jalview/appletgui/AlignViewport.java
src/jalview/appletgui/AppletJmol.java
src/jalview/gui/AlignViewport.java
src/jalview/gui/AppJMol.java
src/jalview/gui/IdPanel.java