# HG changeset patch # User wenzelm # Date 1660299563 -7200 # Node ID 4001a6ceb8029e40b704e5c8a1af8e8e26d83638 # Parent 15951587f1714fb8f893640d8de4600e86f9675a tuned, following hints by IntelliJ IDEA; diff -r 15951587f171 -r 4001a6ceb802 src/Tools/jEdit/src/sledgehammer_dockable.scala --- 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("Apply") { 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") {