public static IUndoManager getUndoManager() { if (fgUndoManager == null) fgUndoManager= createUndoManager(); return fgUndoManager; }
public static IUndoManager getUndoManager() { if (fgUndoManager == null) fgUndoManager= createUndoManager(); return fgUndoManager; }
public static IUndoManager getUndoManager() { if (fgUndoManager == null) fgUndoManager= createUndoManager(); return fgUndoManager; }