# HG changeset patch # User wenzelm # Date 1376053229 -7200 # Node ID 3b549ee126231f09231b1310adde45521bcf2692 # Parent 551d09fc245c24b4da18daf36fa19d7e9960c217 tuned GUI; diff -r 551d09fc245c -r 3b549ee12623 src/Tools/jEdit/src/sledgehammer_dockable.scala --- a/src/Tools/jEdit/src/sledgehammer_dockable.scala Fri Aug 09 13:57:21 2013 +0200 +++ b/src/Tools/jEdit/src/sledgehammer_dockable.scala Fri Aug 09 15:00:29 2013 +0200 @@ -110,7 +110,7 @@ List(provers.getText, timeout.text, subgoal.text, isar_proofs.selected.toString)) } - private val provers_label = new Label("Provers: ") { + private val provers_label = new Label("Provers:") { tooltip = "Automatic provers as space-separated list (e.g. \"e spass remote_vampire\")" } @@ -147,7 +147,7 @@ } private val cancel_query = new Button("Cancel") { - tooltip = "Interrupt unfinished query process" + tooltip = "Interrupt unfinished sledgehammering" reactions += { case ButtonClicked(_) => sledgehammer.cancel_query() } }