diff -r 4b908e70d642 -r d7b0d078266d src/Tools/jEdit/src/documentation_dockable.scala
--- a/src/Tools/jEdit/src/documentation_dockable.scala	Sat Mar 07 12:15:15 2020 +0100
+++ b/src/Tools/jEdit/src/documentation_dockable.scala	Sat Mar 07 12:19:41 2020 +0100
@@ -49,7 +49,7 @@
   tree.setRowHeight(0)
   tree.getSelectionModel.setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION)
 
-  override def focusOnDefaultComponent { tree.requestFocusInWindow }
+  override def focusOnDefaultComponent() { tree.requestFocusInWindow }
 
   private def action(node: DefaultMutableTreeNode)
   {