2014-03-21-23.30.10: src/lib/x-kit/widget/gui/gui-plan.pkg: Replace Float args by more general and future-proof Layout_Hint lists.