History is per viewport
authoramwaterhouse <Andrew Waterhouse>
Thu, 2 Nov 2006 15:11:55 +0000 (15:11 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 2 Nov 2006 15:11:55 +0000 (15:11 +0000)
commit8b7b2e3d4893991f29ab603c20ae826f7e3c8ffb
tree7fb19903f8d3dd570c8928f325e63458bda322e8
parent488e3a038c2ba1a3926f2af5eaea97ba76e028d0
History is per viewport
src/jalview/gui/AlignViewport.java
src/jalview/gui/RedundancyPanel.java