Class UndoManagerOptions


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

      • UndoManagerOptions

        public UndoManagerOptions​(Doc doc)
      • UndoManagerOptions

        public UndoManagerOptions​(Doc doc,
                                  int captureTimeout,
                                  java.util.function.Function<java.lang.Object,​java.lang.Boolean> captureTransaction,
                                  java.util.function.Function<java.lang.Object,​java.lang.Boolean> deleteFilter,
                                  java.util.Set<java.lang.Object> trackedOrigins,
                                  boolean ignoreRemoteMapChanges)
    • Method Detail

      • getDoc

        public Doc getDoc()
      • setDoc

        public void setDoc​(Doc doc)
      • getCaptureTimeout

        public int getCaptureTimeout()
      • setCaptureTimeout

        public void setCaptureTimeout​(int captureTimeout)
      • getCaptureTransaction

        public java.util.function.Function<java.lang.Object,​java.lang.Boolean> getCaptureTransaction()
      • setCaptureTransaction

        public void setCaptureTransaction​(java.util.function.Function<java.lang.Object,​java.lang.Boolean> captureTransaction)
      • getDeleteFilter

        public java.util.function.Function<java.lang.Object,​java.lang.Boolean> getDeleteFilter()
      • setDeleteFilter

        public void setDeleteFilter​(java.util.function.Function<java.lang.Object,​java.lang.Boolean> deleteFilter)
      • getTrackedOrigins

        public java.util.Set<java.lang.Object> getTrackedOrigins()
      • setTrackedOrigins

        public void setTrackedOrigins​(java.util.Set<java.lang.Object> trackedOrigins)
      • isIgnoreRemoteMapChanges

        public boolean isIgnoreRemoteMapChanges()
      • setIgnoreRemoteMapChanges

        public void setIgnoreRemoteMapChanges​(boolean ignoreRemoteMapChanges)