2014-09-20-20.49.02: src/lib/x-kit/widget/gui/guiboss-imp.pkg:  stopped_gui__to__running_gui: do_packed_widget: VIEWPORT:  Actually implement set_viewport_origin().