git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04fe5ab) | patch
Multiple views/hidden region/undo out of index bug
authoramwaterhouse <Andrew Waterhouse>
Tue, 1 May 2007 13:40:02 +0000 (13:40 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 1 May 2007 13:40:02 +0000 (13:40 +0000)
commit27f51f19a31e2d2cb3543ae858b248c91c1e9428
treec522c5e2336cffe3bbe882481f875983ac21d20atree | snapshot
parent04fe5ab63df768c865eb40c9300b52239fbe8746commit | diff
Multiple views/hidden region/undo out of index bug
src/jalview/appletgui/PaintRefresher.java diff | blob | history
src/jalview/gui/PaintRefresher.java diff | blob | history