PaintRefresh changed
authoramwaterhouse <Andrew Waterhouse>
Mon, 13 Jun 2005 11:34:15 +0000 (11:34 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 13 Jun 2005 11:34:15 +0000 (11:34 +0000)
commit6e71f42b0a3713ddbc3054e7ea9d8f5088130ec9
tree462e3ac3642d6e8dc47ed778a0d27ec87ca50a4a
parent94f96a9c993be278b360ad15965715063db72520
PaintRefresh changed
17 files changed:
src/jalview/appletgui/AlignFrame.java
src/jalview/appletgui/IdCanvas.java
src/jalview/appletgui/IdPanel.java
src/jalview/appletgui/PaintRefresher.java
src/jalview/appletgui/RotatableCanvas.java
src/jalview/appletgui/SeqCanvas.java
src/jalview/appletgui/SeqPanel.java
src/jalview/appletgui/TreeCanvas.java
src/jalview/gui/AlignmentPanel.java
src/jalview/gui/IdCanvas.java
src/jalview/gui/IdPanel.java
src/jalview/gui/PaintRefresher.java
src/jalview/gui/PopupMenu.java
src/jalview/gui/RotatableCanvas.java
src/jalview/gui/SeqCanvas.java
src/jalview/gui/SeqPanel.java
src/jalview/gui/TreeCanvas.java