src/Pure/context_position.ML

--- a/src/Pure/context_position.ML	Thu Sep 12 13:09:26 2024 +0200
+++ b/src/Pure/context_position.ML	Thu Sep 12 13:10:36 2024 +0200
@@ -64,7 +64,7 @@
 
 (* PIDE reports *)
 
-fun reports_enabled0 () = Options.default_bool "pide_reports";
+fun reports_enabled0 () = Options.default_bool "pide_reports" andalso Print_Mode.PIDE_enabled ();
 fun reports_enabled_generic context = reports_enabled0 () andalso is_visible_generic context;
 val reports_enabled = reports_enabled_generic o Context.Proof;
 val reports_enabled_global = reports_enabled_generic o Context.Theory;