changeset 4455 | 54e6571c7f8a |
parent 4201 | e29dfac90a57 |
child 4456 | b35c1ba864e9 |
--- a/LineNumberReadStream.st Wed Jul 05 11:07:25 2017 +0200 +++ b/LineNumberReadStream.st Thu Jul 13 12:34:30 2017 +0200 @@ -185,6 +185,12 @@ isLineNumberReadStream ^ true +! + +isPositionable + ^ inputStream isPositionable + + "Created: / 13-07-2017 / 12:23:21 / cg" ! ! !LineNumberReadStream methodsFor:'reading'!