--- a/src/Tools/jEdit/src/find_dockable.scala Sat Apr 19 18:37:41 2014 +0200
+++ b/src/Tools/jEdit/src/find_dockable.scala Sat Apr 19 19:03:32 2014 +0200
@@ -106,10 +106,8 @@
private val query_label = new Label("Search criteria:") {
tooltip =
- GUI.tooltip_lines(List(
- "Search criteria for find operation, e.g.",
- "",
- " \"_ = _\" \"op +\" name: Group -name: monoid"))
+ GUI.tooltip_lines(
+ "Search criteria for find operation, e.g.\n\"_ = _\" \"op +\" name: Group -name: monoid")
}
private val query = new Completion_Popup.History_Text_Field("isabelle-find-theorems") {