2014-09-20-22.02.52: src/lib/x-kit/widget/gui/guiboss-imp.pkg: stopped_gui__to__running_gui: do_packed_widget: TABBED_VIEWS:  Actually implement set_active_view().