--- a/src/Pure/General/print_mode.ML Wed Sep 11 23:26:25 2024 +0200
+++ b/src/Pure/General/print_mode.ML Thu Sep 12 13:09:26 2024 +0200
@@ -25,6 +25,7 @@
val setmp: string list -> ('a -> 'b) -> 'a -> 'b
val with_modes: string list -> ('a -> 'b) -> 'a -> 'b
val add_modes: string list -> unit
+ val PIDE_enabled: unit -> bool
end;
structure Print_Mode: PRINT_MODE =
@@ -54,6 +55,8 @@
fun add_modes modes = Unsynchronized.change print_mode (append modes);
+fun PIDE_enabled () = print_mode_active PIDE;
+
end;
structure Basic_Print_Mode: BASIC_PRINT_MODE = Print_Mode;