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.
clarified print_mode (again, amending 9de19e3a7231): support e.g. 'thm ("") symmetric' for formatting in ML and without markup;
authorwenzelm
Thu, 12 Sep 2024 13:13:59 +0200
changeset 80869 87395be1a299
parent 80868 0ed02f473cf9
child 80870 9a7de3f320d8
clarified print_mode (again, amending 9de19e3a7231): support e.g. 'thm ("") symmetric' for formatting in ML and without markup;
src/Pure/General/print_mode.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/print_mode.ML	Thu Sep 12 13:10:36 2024 +0200
+++ b/src/Pure/General/print_mode.ML	Thu Sep 12 13:13:59 2024 +0200
@@ -55,7 +55,8 @@
 
 fun add_modes modes = Unsynchronized.change print_mode (append modes);
 
-fun PIDE_enabled () = print_mode_active PIDE;
+fun PIDE_enabled () =
+  find_first (fn mode => mode = PIDE orelse mode = "") (print_mode_value ()) = SOME PIDE;
 
 end;
isabelle