[MLton-commit] r5680

[Vesa Karvonen]

Output messages conditionally.
----------------------------------------------------------------------

U   mlton/trunk/ide/emacs/esml-du-mlton.el

----------------------------------------------------------------------

Modified: mlton/trunk/ide/emacs/esml-du-mlton.el
===================================================================
--- mlton/trunk/ide/emacs/esml-du-mlton.el	2007-06-27 01:47:04 UTC (rev 5679)
+++ mlton/trunk/ide/emacs/esml-du-mlton.el	2007-06-27 10:29:43 UTC (rev 5680)
@@ -46,6 +46,12 @@
                  (const :tag "Disable polling" nil))
   :group 'esml-du)
 
+(defcustom esml-du-notify 'never
+  "Notify certain events."
+  :type '(choice (const :tag "Never" never)
+                 (const :tag "Always" always))
+  :group 'esml-du)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Interface
 
@@ -359,7 +365,8 @@
   (clrhash (esml-du-ctx-ref-to-sym-table ctx))
   (clrhash (esml-du-ctx-sym-to-uses-table ctx))
   (garbage-collect)
-  (message "Loaded %s" (esml-du-ctx-duf ctx))
+  (when (memq esml-du-notify '(always))
+    (message "Loaded %s" (esml-du-ctx-duf ctx)))
   (when (eq 'eager esml-du-background-parsing)
     (esml-du-parse ctx)))
 
@@ -387,9 +394,11 @@
         (esml-du-stop-parsing ctx)
         (esml-du-ctx-set-parsing? nil ctx)
         (esml-du-ctx-inc-parse-cnt ctx)
-        (message "Finished parsing %s." (esml-du-ctx-duf ctx))))
+        (when (memq esml-du-notify '(always))
+          (message "Finished parsing %s." (esml-du-ctx-duf ctx)))))
      ctx)
-    (message "Parsing %s in the background..." (esml-du-ctx-duf ctx))))
+    (when (memq esml-du-notify '(always))
+      (message "Parsing %s in the background..." (esml-du-ctx-duf ctx)))))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;