From 64290e36d5f3cf3a3965f619408e77434c1f5e31 Mon Sep 17 00:00:00 2001
From: Jurgen <dollj@xsinet.co.za>
Date: Thu, 26 Dec 2019 16:09:43 +0200
Subject: [PATCH] Added noOpUndoManager

---
 .../org/fxmisc/richtext/util/UndoUtils.java   | 35 ++++++++++++++++++-
 1 file changed, 34 insertions(+), 1 deletion(-)

diff --git a/richtextfx/src/main/java/org/fxmisc/richtext/util/UndoUtils.java b/richtextfx/src/main/java/org/fxmisc/richtext/util/UndoUtils.java
index 982209541..7b6470a43 100644
--- a/richtextfx/src/main/java/org/fxmisc/richtext/util/UndoUtils.java
+++ b/richtextfx/src/main/java/org/fxmisc/richtext/util/UndoUtils.java
@@ -7,7 +7,9 @@
 import org.fxmisc.richtext.model.TextChange;
 import org.fxmisc.undo.UndoManager;
 import org.fxmisc.undo.UndoManagerFactory;
-import org.reactfx.EventStream;
+import org.reactfx.value.Val;
+
+import javafx.beans.value.ObservableBooleanValue;
 
 import java.time.Duration;
 import java.util.List;
@@ -35,6 +37,37 @@ public static <PS, SEG, S> UndoManager defaultUndoManager(GenericStyledArea<PS,
                 : plainTextUndoManager(area);
     }
 
+    /**
+     * Constructs an UndoManager with no history
+     */
+    public static UndoManager noOpUndoManager() {
+        return new UndoManager() {
+
+            private final Val<Boolean> alwaysFalse = Val.constant(false);
+
+            @Override public boolean undo() { return false; }
+            @Override public boolean redo() { return false; }
+            @Override public Val<Boolean> undoAvailableProperty() { return alwaysFalse; }
+            @Override public boolean isUndoAvailable() { return false; }
+            @Override public Val<Boolean> redoAvailableProperty() { return alwaysFalse; }
+            @Override public boolean isRedoAvailable() { return false; }
+            @Override public boolean isPerformingAction() { return false; }
+            @Override public boolean isAtMarkedPosition() { return false; }
+
+            // not sure whether these may throw NPEs at some point
+            @Override public Val nextUndoProperty() { return null; }
+            @Override public Val nextRedoProperty() { return null; }
+            @Override public ObservableBooleanValue performingActionProperty() { return null; }
+            @Override public UndoPosition getCurrentPosition() { return null; }
+            @Override public ObservableBooleanValue atMarkedPositionProperty() { return null; }
+
+            // ignore these
+            @Override public void preventMerge() { }
+            @Override public void forgetHistory() { }
+            @Override public void close() { }
+        };
+    }
+
     /* ********************************************************************** *
      *                                                                        *
      * UndoManager Factory Methods                                            *