ui --- User interface stuff for XMLterm