changeset 17784 | ce86bb77b36f |
parent 17782 | ee0d1bfafb04 |
child 17788 | be714dd49070 |
--- a/Tools__MethodList.st Sat Nov 25 13:08:09 2017 +0100 +++ b/Tools__MethodList.st Sat Nov 25 13:21:24 2017 +0100 @@ -1214,10 +1214,11 @@ nameFilter includesMatchCharacters ifTrue:[ ^ mthd source asCollectionOfWords contains:[:word | nameFilter match:word caseSensitive:false] ] ifFalse:[ - ^ mthd source includesString:nameFilter + ^ mthd source includesString:nameFilter caseSensitive:false ]. "Created: / 25-11-2017 / 12:04:21 / cg" + "Modified: / 25-11-2017 / 13:21:08 / cg" ! listOfMethodNames