changeset 17739 | 5341c4e3bca4 |
parent 17581 | 0704ec888eb5 |
child 18293 | 60287b8e6165 |
--- a/Tools__BrowserList.st Thu Nov 09 21:05:33 2017 +0100 +++ b/Tools__BrowserList.st Thu Nov 09 21:05:43 2017 +0100 @@ -256,8 +256,13 @@ !BrowserList methodsFor:'accessing'! -nameFilter:something - nameFilter := something. +nameFilter:aStringOrPattern + nameFilter ~= aStringOrPattern ifTrue:[ + nameFilter := aStringOrPattern. + self enqueueDelayedUpdateList. + ]. + + "Modified: / 09-11-2017 / 19:52:55 / cg" ! ! !BrowserList methodsFor:'aspects'!