undo stackempty error fix, refactored do and undo() method to take array of alignment...
authorjprocter <Jim Procter>
Wed, 2 May 2007 12:25:44 +0000 (12:25 +0000)
committerjprocter <Jim Procter>
Wed, 2 May 2007 12:25:44 +0000 (12:25 +0000)
commit85882b9349f5d4707a43e9bdd4007101d3aa42ec
tree218fd96387cb718893a5b7f6cbfb51c8ef5c7952
parentfa93bb578999b13c0364a712ae368ca8841012a1
undo stackempty error fix, refactored do and undo() method to take array of alignments for operations that result in hide/show of alignment annotation, convenience method for getting alignment object array for all views
src/jalview/gui/AlignFrame.java