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-base/jedit_lib.scala
changeset 73367 77ef8bef0593
parent 73340 0ffcad1f6130 
--- a/src/Tools/jEdit/src-base/jedit_lib.scala	Thu Mar 04 19:55:52 2021 +0100
+++ b/src/Tools/jEdit/src-base/jedit_lib.scala	Thu Mar 04 21:04:27 2021 +0100
@@ -19,7 +19,7 @@
     val view = if (alt_view != null) alt_view else jEdit.getActiveView()
     if (view != null) {
       val text_area = view.getTextArea
-      if (text_area != null) text_area.requestFocus
+      if (text_area != null) text_area.requestFocus()
     }
   }
 }
\ No newline at end of file
isabelle