--- a/SettingsDialog.st	Thu Jun 21 15:21:57 2018 +0200
+++ b/SettingsDialog.st	Mon Jun 25 14:29:13 2018 +0200
@@ -2075,7 +2075,7 @@
      then reselect (because the treeView is too stupid in loosing the selection,
      when expanding/hiding)"
      
-    |oldSelection pattern matchingTreeItems|
+    |oldSelection pattern|
     
     oldSelection := self selectedItem value.
     self unhighlightFoundItemsFromSearch.
@@ -2104,7 +2104,9 @@
         oldSelection makeVisible.
         self selectedItem value:oldSelection.
         self highlightWidgetsWithMatchingSearchString.
-    ].    
+    ].
+
+    "Modified (format): / 25-06-2018 / 14:29:04 / Claus Gittinger"
 !
 
 unhighlightFoundItemsFromSearch