XMLterm changes only. Fix for minor bug 65662. (Oops! Missed CVS log message on previous checkin for this file. Dummy checkin with the correct log message.) git-svn-id: svn://10.0.0.236/trunk@85188 18797224-902f-48f8-a5cc-f745e15eee43
ui --- User interface stuff for XMLterm