1.1 --- a/src/Tools/jEdit/src/find_dockable.scala	Thu Oct 17 17:14:06 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/find_dockable.scala	Wed Nov 06 18:04:36 2013 +0100
     1.3 @@ -105,7 +105,11 @@
     1.4    }
     1.5  
     1.6    private val query_label = new Label("Search criteria:") {
     1.7 -    tooltip = "Search criteria for find operation"
     1.8 +    tooltip =
     1.9 +      GUI.tooltip_lines(List(
    1.10 +        "Search criteria for find operation, e.g.",
    1.11 +        "",
    1.12 +        "  \"_ = _\" \"op +\" name: Group -name: monoid"))
    1.13    }
    1.14  
    1.15    private val query = new Completion_Popup.History_Text_Field("isabelle-find-theorems") {

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