changeset 22908 | 4e7abafa0167 |
parent 22783 | 1c53fd35eefd |
child 22911 | 7a780ffd6698 |
22907:b374d7a2111d | 22908:4e7abafa0167 |
---|---|
5814 |
5814 |
5815 ^ aPatternString match:self caseSensitive:ignoreCase not |
5815 ^ aPatternString match:self caseSensitive:ignoreCase not |
5816 |
5816 |
5817 "Created: / 08-03-2012 / 03:11:11 / cg" |
5817 "Created: / 08-03-2012 / 03:11:11 / cg" |
5818 ! ! |
5818 ! ! |
5819 |
|
5819 |
5820 |
5820 |
5821 |
5821 !CharacterArray methodsFor:'padded copying'! |
5822 !CharacterArray methodsFor:'padded copying'! |
5822 |
5823 |
5823 centerPaddedTo:newSize |
5824 centerPaddedTo:newSize |