2014-08-15-21.38.24: src/lib/x-kit/widget/theme/gui-displaylist.pkg: Changed   Gui_Displaylist=Draw_Op;   to   Gui_Displaylist=List(Draw_Op);   which turns out to be more natural in practice.