I didn't get any feedback on changes mentioned in my 3/22 message, but checked it in belatedly just now
To see the effect see https://per.bothner.com/tmp/DomTerm-txjs-plain (default GNU styling) or:https://per.bothner.com/tmp/DomTerm-txjs (DomTerm styling) -- --Per Bothner [email protected] http://per.bothner.com/
