--- a/src/Tools/jEdit/src/find_dockable.scala Fri Aug 09 20:16:33 2013 +0200
+++ b/src/Tools/jEdit/src/find_dockable.scala Fri Aug 09 20:23:53 2013 +0200
@@ -110,7 +110,9 @@
List(limit.text, allow_dups.selected.toString, context.selection.item.name, query.getText))
}
- private val query_label = new Label("Search criteria:")
+ private val query_label = new Label("Search criteria:") {
+ tooltip = "Search criteria for find operation"
+ }
private val query = new HistoryTextField("isabelle-find-theorems") {
override def processKeyEvent(evt: KeyEvent)
@@ -120,6 +122,7 @@
}
{ val max = getPreferredSize; max.width = Integer.MAX_VALUE; setMaximumSize(max) }
setColumns(40)
+ setToolTipText(query_label.tooltip)
}
private case class Context_Entry(val name: String, val description: String)
@@ -128,7 +131,7 @@
}
private val context_entries =
- new Context_Entry("", "context") ::
+ new Context_Entry("", "current context") ::
PIDE.thy_load.loaded_theories.toList.sorted.map(name => Context_Entry(name, name))
private val context = new ComboBox[Context_Entry](context_entries) {