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;
authorwenzelm
Fri, 16 Jun 2017 22:38:19 +0200
changeset 66099 d1639e7877cc
parent 66098 5aa9cb83e70e
child 66100 d1ad5a7458c2
tuned;
src/Tools/VSCode/src/state_panel.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/state_panel.scala	Fri Jun 16 21:04:39 2017 +0200
+++ b/src/Tools/VSCode/src/state_panel.scala	Fri Jun 16 22:38:19 2017 +0200
@@ -90,15 +90,18 @@
 
   def set_auto_update(b: Boolean) { auto_update_enabled.change(_ => b); if (b) update() }
 
-  def auto_update(): Unit = if (auto_update_enabled.value) update()
+  def auto_update() { if (auto_update_enabled.value) update() }
 
 
   /* main */
 
   private val main =
     Session.Consumer[Any](getClass.getName) {
-      case changed: Session.Commands_Changed => if (changed.assignment) auto_update()
-      case Session.Caret_Focus => auto_update()
+      case changed: Session.Commands_Changed =>
+        if (changed.assignment) auto_update()
+
+      case Session.Caret_Focus =>
+        auto_update()
     }
 
   def init()
isabelle