primitive methods for getting current undo/redo state and comparing with another...
authorjprocter <Jim Procter>
Tue, 25 Sep 2007 09:28:38 +0000 (09:28 +0000)
committerjprocter <Jim Procter>
Tue, 25 Sep 2007 09:28:38 +0000 (09:28 +0000)
commitc52b6c076aca667347250b5ee896f36bb60a3d60
tree13a8a1af6fc1f78910590d39c743808c8bdc23d2
parent51103d869344aed06f20d48fcd210b20ffb9e542
primitive methods for getting current undo/redo state and comparing with another (to be used for indicating if an alignment is unsaved since last changed, or in the vamsas synchronization mechanism)
src/jalview/gui/AlignViewport.java