]> git.eshelyaron.com Git - dict.git/commitdiff
* (sweeprolog-insert-term-dwim): add undo-inhibit-region property
authorEshel Yaron <me@eshelyaron.com>
Sat, 11 Feb 2023 11:59:43 +0000 (13:59 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sat, 11 Feb 2023 11:59:43 +0000 (13:59 +0200)
sweeprolog.el

index 2639bda2d46a4269fb3e99d43554ca6d7df03690..183a67792c3e640a67dc6f683bc707a480d8e663 100644 (file)
@@ -3233,6 +3233,8 @@ See also `sweeprolog-backward-hole'."
      'repeat-map
      'sweeprolog-forward-hole-repeat-map)
 
+(put 'sweeprolog-insert-term-dwim 'undo-inhibit-region t)
+
 (defun sweeprolog--hole (&optional string)
   (propertize (or string "_")
               'sweeprolog-hole t