2014-08-16-09.00.09: src/lib/x-kit/widget/theme/gui-displaylist.pkg: Change COLOR to use float rather than byte colors, making widget code less messy and centralizing conversion to byte colors in windowsystem_imp_for_x::convert_displaylist_to_drawoplist.