--- a/ExternalStream.st Thu Jan 12 00:17:39 2017 +0100 +++ b/ExternalStream.st Thu Jan 12 01:10:22 2017 +0100 @@ -2188,6 +2188,10 @@ ^ self error:'not a FILE*' ! +handle + ^ handle +! + handleType ^ handleType !