Class UndoRedoPackage


  • public class UndoRedoPackage
    extends java.lang.Object
    • Constructor Detail

      • UndoRedoPackage

        public UndoRedoPackage​(java.util.Vector<Lens> lv,
                               Lens sl)