ui --- User interface stuff for XMLterm
