--- 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:[