/** * Initialize undo manager if possible. */ public void initUndoInfo() { if (undoActive && cons != null) { cons.initUndoInfo(); } }
private void setupUndo() { getApp().setUndoRedoEnabled(true); getApp().setUndoActive(true); getKernel().getConstruction().initUndoInfo(); }