--- a/SettingsDialog.st	Mon Jun 25 14:29:13 2018 +0200
+++ b/SettingsDialog.st	Mon Jun 25 14:42:01 2018 +0200
@@ -2090,12 +2090,11 @@
             ok := false.
             (words contains:[:word | pattern match:word caseSensitive:false ])
             ifTrue:[
-                app window isNil ifTrue:[
-                    ok := true
-                ] ifFalse:[                
-                    widgetsToHighlight := self widgetsWithMatchingSearchStringIn:app.
-                    ok := widgetsToHighlight notEmptyOrNil.
-                ]    
+                ok := true.
+"/                app window notNil ifTrue:[
+"/                    widgetsToHighlight := self widgetsWithMatchingSearchStringIn:app.
+"/                    ok := widgetsToHighlight notEmptyOrNil.
+"/                ]    
             ].
             ok
         ].
@@ -2106,7 +2105,7 @@
         self highlightWidgetsWithMatchingSearchString.
     ].
 
-    "Modified (format): / 25-06-2018 / 14:29:04 / Claus Gittinger"
+    "Modified: / 25-06-2018 / 14:38:49 / Claus Gittinger"
 !
 
 unhighlightFoundItemsFromSearch
@@ -2173,7 +2172,7 @@
         "/ look which widget matches it in its helpKey or label
         
         anApplication window withAllSubViewsDo:[:eachView |
-            |wordsInWidget widgetHasIt label helpKey xLatedText helpText tooltip|
+            |wordsInWidget widgetHasIt label name helpKey xLatedText helpText tooltip|
 
             wordsInWidget := Set new.
              
@@ -2194,6 +2193,11 @@
                 label := label string.
                 wordsInWidget addAll:(allWords value:label)
             ].
+            name := eachView perform:#name ifNotUnderstood:nil.
+            (name notNil and:[name isString]) ifTrue:[
+                name := name string.
+                wordsInWidget addAll:(allWords value:name)
+            ].
             
             widgetHasIt := wordsInWidget contains:[:w | pattern match:w caseSensitive:false ].
             widgetHasIt ifTrue:[
@@ -2223,6 +2227,8 @@
         ].   
     ].
     ^ widgetsToHighlight.
+
+    "Modified: / 25-06-2018 / 14:36:35 / Claus Gittinger"
 ! !
 
 !SettingsDialog methodsFor:'selection'!