Class PreferencePane.UndoRedoPreferences

java.lang.Object
qupath.lib.gui.panes.PreferencePane.UndoRedoPreferences
Enclosing class:
PreferencePane

@PrefCategory("Prefs.Undo") public static class PreferencePane.UndoRedoPreferences extends Object
  • Field Details

    • maxUndoLevels

      @IntegerPref("Prefs.Undo.maxUndoLevels") public final IntegerProperty maxUndoLevels
    • maxUndoHierarchySize

      @IntegerPref("Prefs.Undo.maxUndoHierarchySize") public final IntegerProperty maxUndoHierarchySize
  • Constructor Details

    • UndoRedoPreferences

      public UndoRedoPreferences()