From f5cf54710cb0d72eba35a59b1a3e86fb0c56473b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Sep 2009 21:08:51 +0000
Subject: p-s-classify-output -> p-s-handle-output, and simplify
 system-specific hook

---
 plastic/plastic.el | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'plastic')

diff --git a/plastic/plastic.el b/plastic/plastic.el
index 2fceda64..09f7b9f2 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -49,12 +49,12 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Users should not need to change this.
 
-(defvar plastic-shell-process-output
-  '((lambda (cmd string) (proof-string-match "^Module" cmd)) .
-    (lambda (cmd string)
-      (setq proof-shell-delayed-output
-	    ;;FIXME: This should be displayed in the minibuffer only
-	    (cons 'insert "\n\nImports done!"))))
+(defvar lego-shell-handle-output
+  '(lambda (cmd string) 
+      (when (proof-string-match "^Module" cmd)
+	;; prevent output and just give a minibuffer message
+	(setq proof-shell-last-output-kind 'systemspecific)
+	(message "Imports done!")))
   "Acknowledge end of processing import declarations.")
 
 (defconst plastic-process-config
@@ -473,7 +473,7 @@ For Plastic, we assume that module identifiers coincide with file names."
 	proof-shell-init-cmd plastic-process-config
 	proof-shell-restart-cmd plastic-process-config
 	pg-subterm-anns-use-stack nil
-	proof-shell-classify-output-system-specific plastic-shell-process-output
+	proof-shell-handle-output-system-specific plastic-shell-handle-output
 	plastic-shell-current-line-width nil
 
 	proof-shell-process-file
-- 
cgit v1.2.3