# HG changeset patch # User wenzelm # Date 1431094442 -7200 # Node ID 2a9bc6447779ec9cd61d7dd4e05eee2a196597d1 # Parent bcd9a70342be170f5c69361e4d35e073b4a1de98 clarified tooltip; diff -r bcd9a70342be -r 2a9bc6447779 src/Tools/jEdit/src/sledgehammer_dockable.scala --- a/src/Tools/jEdit/src/sledgehammer_dockable.scala Fri May 08 15:32:27 2015 +0200 +++ b/src/Tools/jEdit/src/sledgehammer_dockable.scala Fri May 08 16:14:02 2015 +0200 @@ -80,7 +80,8 @@ private val provers_label = new Label("Provers:") { tooltip = GUI.tooltip_lines( - "Automatic provers as space-separated list, e.g.\ne spass remote_vampire") + "Automatic provers as space-separated list, e.g.\n" + + PIDE.options.value.check_name("sledgehammer_provers").default_value) } private val provers = new HistoryTextField("isabelle-sledgehammer-provers") {