src/Tools/jEdit/src/sledgehammer_dockable.scala

--- a/src/Tools/jEdit/src/sledgehammer_dockable.scala	Thu Aug 06 23:20:15 2015 +0200
+++ b/src/Tools/jEdit/src/sledgehammer_dockable.scala	Fri Aug 07 11:44:11 2015 +0200
@@ -73,6 +73,7 @@
   /* controls */
 
   private def clicked {
+    provers.addCurrentToHistory()
     PIDE.options.string("sledgehammer_provers") = provers.getText
     sledgehammer.apply_query(
       List(provers.getText, isar_proofs.selected.toString, try0.selected.toString))