--- a/src/Tools/jEdit/src/sledgehammer_dockable.scala Thu Oct 17 17:14:06 2013 +0200
+++ b/src/Tools/jEdit/src/sledgehammer_dockable.scala Wed Nov 06 18:04:36 2013 +0100
@@ -136,7 +136,11 @@
}
private val provers_label = new Label("Provers:") {
- tooltip = "Automatic provers as space-separated list (e.g. \"e spass remote_vampire\")"
+ tooltip =
+ GUI.tooltip_lines(List(
+ "Automatic provers as space-separated list, e.g.",
+ "",
+ " e spass remote_vampire"))
}
private val provers = new HistoryTextField("isabelle-sledgehammer-provers") {