src/Tools/jEdit/src/find_dockable.scala

 
     private def apply_query()
     {
       query_operation.apply_query(List(_selector.selection.item.name))
     }
+
+    private val query_label = new Label("Print:")
 
     def query: JComponent = _selector.peer.asInstanceOf[JComponent]
 
 
     /* GUI page */

 
     def select
     {
       update_selector()
       control_panel.contents.clear
-      control_panel.contents ++= List(_selector, apply_button, zoom)
+      control_panel.contents ++= List(query_label, _selector, apply_button, zoom)
     }
 
     val page =
       new TabbedPane.Page("Print ...", new BorderPanel {
         add(control_panel, BorderPanel.Position.North)