# HG changeset patch # User wenzelm # Date 1399576643 -7200 # Node ID 6389a8c1268a82ec803d4f33304126e3a24455b9 # Parent a442dc6d244d1fd9d443816da3183da8b56ad77a tuned GUI; diff -r a442dc6d244d -r 6389a8c1268a src/Tools/jEdit/src/sledgehammer_dockable.scala --- a/src/Tools/jEdit/src/sledgehammer_dockable.scala Thu May 08 21:14:25 2014 +0200 +++ b/src/Tools/jEdit/src/sledgehammer_dockable.scala Thu May 08 21:17:23 2014 +0200 @@ -107,7 +107,7 @@ selected = false } - private val apply_query = new Button("Apply") { + private val apply_query = new Button("Apply") { tooltip = "Search for first-order proof using automatic theorem provers" reactions += { case ButtonClicked(_) => clicked } }