tuned GUI;

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