# HG changeset patch
# User wenzelm
# Date 1376072633 -7200
# Node ID 976bd071360c3325e962708715126c1a3173c41d
# Parent  13687b130f1fb865741d94154286baff8e050fa1
tuned GUI;

diff -r 13687b130f1f -r 976bd071360c src/Tools/jEdit/src/find_dockable.scala
--- 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) {