# 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() }
   }