--- a/src/Tools/jEdit/src/sledgehammer_dockable.scala Fri Aug 12 12:17:14 2022 +0200
+++ b/src/Tools/jEdit/src/sledgehammer_dockable.scala Fri Aug 12 12:19:23 2022 +0200
@@ -68,7 +68,7 @@
/* controls */
- private def clicked: Unit = {
+ private def clicked(): Unit = {
provers.addCurrentToHistory()
PIDE.options.string("sledgehammer_provers") = provers.getText
sledgehammer.apply_query(
@@ -84,7 +84,7 @@
private val provers = new HistoryTextField("isabelle-sledgehammer-provers") {
override def processKeyEvent(evt: KeyEvent): Unit = {
- if (evt.getID == KeyEvent.KEY_PRESSED && evt.getKeyCode == KeyEvent.VK_ENTER) clicked
+ if (evt.getID == KeyEvent.KEY_PRESSED && evt.getKeyCode == KeyEvent.VK_ENTER) clicked()
super.processKeyEvent(evt)
}
setToolTipText(provers_label.tooltip)
@@ -112,7 +112,7 @@
private val apply_query = new Button("<html><b>Apply</b></html>") {
tooltip = "Search for first-order proof using automatic theorem provers"
- reactions += { case ButtonClicked(_) => clicked }
+ reactions += { case ButtonClicked(_) => clicked() }
}
private val cancel_query = new Button("Cancel") {