2014-07-24-16.24.45: src/lib/x-kit/widget/gui/running-gui.pkg:  Packed_Widget:  ROW, COL:  Add pixels_wide, pixels_high: Ref(Null_Or(Int)).