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.
tuned formatting;
authorThomas Lindae <thomas.lindae@in.tum.de>
Wed, 01 May 2024 11:12:59 +0200
changeset 81023 8602af6f4bd0
parent 81022 4804614f25b3
child 81024 d1535ba3b1ca
tuned formatting;
src/Tools/VSCode/src/state_panel.scala file | annotate | diff | comparison | revisions 
--- 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] =
isabelle