HTML Text Widget

graham.matthews@maths.anu.edu.au
16 Jan 1995 22:56:56 GMT

I was wondering if anyone had written an HTML frontend for text widgets.
It seems to me that the capabilities of text widgets are greater than
those required by HTML, and hence it should be possible to convert HTML
input source into text widget commands.

graham

--
                    Though the days come and go
                     There is one thing I know
                  I've still got the blues for you