2014-09-21-11.42.33: src/lib/x-kit/widget/gui/guiboss-imp.pkg:  set_active_view():  Update VIEWPORT_PIXMAP.is_visible appropriately.