2014-08-25-22.53.40: src/lib/x-kit/widget/theme/gui-displaylist.pkg: Added   Draw_Text = TO_RIGHT_OF_POINT | CENTERED_ON_POINT | TO_LEFT_OF_POINT;   and   DRAW_TEXT	   (Draw_Text,	List(Draw_Op)).   src/lib/x-kit/widget/xkit/app/windowsystem-imp-for-x.pkg: Implemented preceding.