From 2033f94996af8bae44346ce8257446802029daa4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Dec 2007 22:14:42 +0000
Subject: mmm-insert-by-key: add an indicator to holes.el to prevent it adding
 holes

---
 mmm/mmm-cmds.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/mmm/mmm-cmds.el b/mmm/mmm-cmds.el
index e192101d..c564fe89 100644
--- a/mmm/mmm-cmds.el
+++ b/mmm/mmm-cmds.el
@@ -268,7 +268,10 @@ MODIFIERS, the dotted list becomes simply BASIC-KEY."
   (multiple-value-bind (class skel str) (mmm-get-insertion-spec key)
     (when skel
       (let ((after-change-functions nil)
-            (old-undo buffer-undo-list) undo)
+            (old-undo buffer-undo-list) undo
+	    ;; da: Proof General patch for compatibility with holes.el,
+	    ;; bind this variable to prevent inserting holes here.
+	    mmm-inside-insert-by-key)
         ;; XEmacs' skeleton doesn't manage positions by itself, so we
         ;; have to do it.
         (if mmm-xemacs (setq skeleton-positions nil))
-- 
cgit v1.2.3