If alignment is closed, then undo performed in visible window
authoramwaterhouse <Andrew Waterhouse>
Thu, 23 Nov 2006 15:51:44 +0000 (15:51 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 23 Nov 2006 15:51:44 +0000 (15:51 +0000)
commit9cc5cb837b899016311e8f80e0e4e689e4a54ff6
tree153842bbd388f5db049128d3190aa98cceb2fdc5
parentd5912abc02b0fd206d9705cf13a0383f09d3d951
If alignment is closed, then undo performed in visible window
src/jalview/appletgui/AlignFrame.java
src/jalview/gui/AlignFrame.java