Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/output_dockable.scala
changeset 75809 1dd5d4f4b69e
parent 75393 87ebf5a50283
child 75810 51867c8ad109 
--- a/src/Tools/jEdit/src/output_dockable.scala	Fri Aug 12 11:26:09 2022 +0200
+++ b/src/Tools/jEdit/src/output_dockable.scala	Fri Aug 12 11:35:44 2022 +0200
@@ -96,7 +96,7 @@
     reactions += { case ButtonClicked(_) => handle_update(true, None) }
   }
 
-  private val zoom = new Font_Info.Zoom_Box { def changed = handle_resize() }
+  private val zoom = new Font_Info.Zoom_Box { def changed() = handle_resize() }
 
   private val controls =
     Wrap_Panel(
isabelle