From ff4ddfb5b74ff81a6064a10d3265b2273bfca8e4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 17 Feb 2008 12:40:38 +0000
Subject: Add undo-depth setting and default it to 200, overriding Coq's 100
 default.

---
 coq/coq.el | 5 +++++
 1 file changed, 5 insertions(+)

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)
-- 
cgit v1.2.3