2014-07-24-21.52.28: src/lib/x-kit/widget/gui/running-gui.pkg:  Packed_Widget:  ROW, COL:  Change to pixels_wide_min: Ref(Int), pixels_wide_cut: Ref(Float).