Tools__MethodList.st
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