src/Tools/VSCode/src/state_panel.scala

--- a/src/Tools/VSCode/src/state_panel.scala	Wed Apr 24 18:49:43 2024 +0200
+++ b/src/Tools/VSCode/src/state_panel.scala	Wed May 01 11:12:59 2024 +0200
@@ -62,7 +62,7 @@
   private val print_state =
     new Query_Operation(server.editor, (), "print_state", _ => (),
       (_, _, body) =>
-        if (output_active.value && body.nonEmpty){
+        if (output_active.value && body.nonEmpty) {
           val node_context =
             new Browser_Info.Node_Context {
               override def make_ref(props: Properties.T, body: XML.Body): Option[XML.Elem] =