changeset 4420 | eee7da6ae1e2 |
parent 4419 | 4e04c315d976 |
child 4422 | a06688034985 |
--- a/Scanner.st Sat May 25 23:46:15 2019 +0200 +++ b/Scanner.st Sat May 25 23:47:38 2019 +0200 @@ -2241,10 +2241,11 @@ "Created: / 07-12-2006 / 18:13:13 / cg" ! -setSource:newSource - source := newSource +setSource:newSourceStream + source := newSourceStream "Modified: / 07-08-2018 / 07:46:57 / Claus Gittinger" + "Modified (format): / 25-05-2019 / 23:47:16 / Claus Gittinger" ! source:aStringOrStream