SettingsDialog.st
changeset 16991 73558621b29b
parent 16988 533bb733d68b
child 16993 a8927e2fc4b1
--- a/SettingsDialog.st	Sun Oct 30 18:34:16 2016 +0100
+++ b/SettingsDialog.st	Mon Oct 31 11:05:07 2016 +0100
@@ -2022,20 +2022,20 @@
 
     self 
         highlightApplicationsForWhich:[:app |
-            |words|
+            |ok words widgetsToHighlight|
             
             words := app quickSearchStrings.
+            ok := false.
             (words contains:[:word | pattern match:word caseSensitive:false ])
-            and:[
-                |widgetsToHighlight|
-
+            ifTrue:[
                 app window isNil ifTrue:[
-                    true
+                    ok := true
                 ] ifFalse:[                
                     widgetsToHighlight := self widgetsWithMatchingSearchStringIn:app.
-                    widgetsToHighlight notEmptyOrNil.
+                    ok := widgetsToHighlight notEmptyOrNil.
                 ]    
-            ]    
+            ].
+            ok
         ].
 
     oldSelection notNil ifTrue:[