From 619e67a372a64a438d81eb4ac9e58f32f0579dff Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Mon, 5 Jan 1998 14:59:03 +0000
Subject: fixed a bug in the indenting functions

---
 lego.el | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/lego.el b/lego.el
index 84b4ddc5..2de2ca5a 100644
--- a/lego.el
+++ b/lego.el
@@ -5,6 +5,9 @@
 
 
 ;; $Log$
+;; Revision 1.33  1998/01/05 14:59:03  tms
+;; fixed a bug in the indenting functions
+;;
 ;; Revision 1.32  1997/11/26 14:15:21  tms
 ;; o simplified code:
 ;;     lego-goal-with-hole-regexp and lego-save-with-hole-regexp is now
@@ -474,7 +477,8 @@
   (interactive)
   (save-excursion
     (beginning-of-line)
-    (if (< (point) (proof-locked-end))
+    (if (and (eq proof-script-buffer (current-buffer))
+	     (< (point) (proof-locked-end)))
 	(error "can't indent locked region!"))
     (let* ((state (lego-parse-to-point))
 	   (beg (point))
@@ -492,7 +496,8 @@
   (save-excursion
     (goto-char start)
     (beginning-of-line)
-    (if (< (point) (proof-locked-end))
+    (if (and (eq proof-script-buffer (current-buffer))
+	     (< (point) (proof-locked-end)))
 	(error "can't indent locked region!"))
     (let* ((beg (point))
 	   (state (lego-parse-to-point))
-- 
cgit v1.2.3