Alan Oswald wrote:
The GetText function uses get($) as a text string. How do I get it as a number?
Convert it: {String.toInt "42"} returns 42.
raph
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
