Add undo-depth setting and default it to 200, overriding Coq's 100 default.

1 files changed, 5 insertions, 0 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 0a286c73..dbd06876 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1050,6 +1050,11 @@ To be used in `proof-shell-process-output-system-specific'."
   :type 'integer
   :setting "Set Printing Depth %i . ")
 
+(defpacustom undo-depth 200
+  "*Depth of undo history.  Undo behaviour will break beyond this size."
+  :type 'integer
+  :setting "Set Undo %i . ")
+
 (defpacustom time-commands nil
   "*Whether to display timing information for each command."
   :type 'boolean)