src/Tools/jEdit/src/query_dockable.scala

--- a/src/Tools/jEdit/src/query_dockable.scala	Thu Aug 11 13:23:00 2022 +0200
+++ b/src/Tools/jEdit/src/query_dockable.scala	Fri Aug 12 11:18:22 2022 +0200
@@ -243,7 +243,7 @@
       reactions += {
         case ButtonClicked(_) => apply_query()
         case evt @ KeyPressed(_, Key.Enter, 0, _) =>
-          evt.peer.consume
+          evt.peer.consume()
           apply_query()
       }
     }