From dbe77f94a47591650b4a8a14d6b678e45bb1df19 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Mar 2004 01:51:14 +0000
Subject: Fix buglets shown up by byte compilation.

---
 generic/proof-shell.el | 50 ++++++++++++++++++++++++++------------------------
 1 file changed, 26 insertions(+), 24 deletions(-)

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index f6bd446c..8dc26f9a 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -111,6 +111,32 @@ to examine proof-shell-last-output.")
   "A copy of proof-shell-last-output-lind held back for processing at end of queue.")
 
 
+
+;;
+;; Indicator and fake minor mode for active scripting buffer
+;; 
+
+(defcustom proof-shell-active-scripting-indicator
+  (if proof-running-on-XEmacs
+      (cons (make-extent nil nil) " Scripting ")
+    " Scripting")
+  "Modeline indicator for active scripting buffer.
+If first component is extent it will automatically follow the colour
+of the queue region."
+  :type 'sexp
+  :group 'proof-general-internals)
+
+(unless
+    (assq 'proof-active-buffer-fake-minor-mode minor-mode-alist)
+  (setq minor-mode-alist
+	(append minor-mode-alist
+		(list 
+		 (list
+		  'proof-active-buffer-fake-minor-mode
+		  proof-shell-active-scripting-indicator)))))
+
+
+
 
 ;;
 ;; Implementing the process lock
@@ -355,30 +381,6 @@ Does nothing if proof assistant is already running."
 
       (message "Starting %s process... done." proc))))
 
-
-;;
-;; Indicator and fake minor mode for active scripting buffer
-;; 
-
-(defcustom proof-shell-active-scripting-indicator
-  (if proof-running-on-XEmacs
-      (cons (make-extent nil nil) " Scripting ")
-    " Scripting")
-  "Modeline indicator for active scripting buffer.
-If first component is extent it will automatically follow the colour
-of the queue region."
-  :type 'sexp
-  :group 'proof-general-internals)
-
-(unless
-    (assq 'proof-active-buffer-fake-minor-mode minor-mode-alist)
-  (setq minor-mode-alist
-	(append minor-mode-alist
-		(list 
-		 (list
-		  'proof-active-buffer-fake-minor-mode
-		  proof-shell-active-scripting-indicator)))))
-
 
 ;;
 ;;  Shutting down proof shell and associated buffers
-- 
cgit v1.2.3