author | kleing |
Sat, 10 Aug 2013 09:06:42 +0200 (2013-08-10) | |
changeset 52951 | de4bccddcdbd |
parent 52950 | 9a65588c0118 |
child 52952 | 07423b37bc22 |
--- a/src/Tools/jEdit/src/find_dockable.scala Fri Aug 09 20:44:46 2013 +0200 +++ b/src/Tools/jEdit/src/find_dockable.scala Sat Aug 10 09:06:42 2013 +0200 @@ -145,7 +145,7 @@ } 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 }