Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
refined Output.status_fn: priority (only visible for non-empty output, e.g. via test_markup print mode);
authorwenzelm
Tue, 15 Jul 2008 15:46:43 +0200
changeset 27607 a21271f74bc7
parent 27606 82399f3a8ca8
child 27608 8fd5662ccd97
refined Output.status_fn: priority (only visible for non-empty output, e.g. via test_markup print mode);
src/Pure/ProofGeneral/proof_general_emacs.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Tue Jul 15 15:46:41 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Tue Jul 15 15:46:43 2008 +0200
@@ -84,7 +84,7 @@
 
 fun setup_messages () =
  (Output.writeln_fn := Output.writeln_default;
-  Output.status_fn := Output.writeln_default;
+  Output.status_fn := (fn "" => () | s => ! Output.priority_fn s);
   Output.priority_fn := (fn s => decorate (special "360") (special "361") "" s);
   Output.tracing_fn := (fn s => decorate (special "360" ^ special "375") (special "361") "" s);
   Output.debug_fn := (fn s => decorate (special "362") (special "363") "+++ " s);
isabelle