2014-09-03-23.16.55: src/lib/x-kit/widget/theme/gui-displaylist.pkg: Added prettyprint_gui_displaylist.