src/Tools/jEdit/src/find_dockable.scala

     verifier = (s: String) =>
       s match { case Properties.Value.Int(x) => x >= 0 case _ => false }
   }
 
   private val allow_dups = new CheckBox("Duplicates") {
-    tooltip = "Allow duplicates in result (faster for large theories)"
+    tooltip = "Show all versions of matching theorems"
     selected = false
   }
 
   private val apply_query = new Button("Apply") {
     tooltip = "Find theorems meeting specified criteria"