src/Tools/VSCode/src/state_panel.scala

     server.channel.write(Protocol.State_Output(id, content))
 
 
   /* query operation */
 
+  private val output_active = Synchronized(true)
+
   private val print_state =
     new Query_Operation(server.editor, (), "print_state", _ => (),
       (snapshot, results, body) =>
-        {
+        if (output_active.value) {
           val text = server.resources.output_pretty_message(Pretty.separate(body))
           val content =
             HTML.output_document(
               List(HTML.style(HTML.fonts_css()),
                 HTML.style_file(HTML.isabelle_css),

     server.editor.send_dispatcher { auto_update() }
   }
 
   def exit()
   {
-    server.editor.send_wait_dispatcher { print_state.deactivate() }
+    output_active.change(_ => false)
     server.session.commands_changed -= main
     server.session.caret_focus -= main
+    server.editor.send_wait_dispatcher { print_state.deactivate() }
   }
 }