2014-11-22-19.26.57: src/lib/x-kit/widget/gui/guiboss-imp.pkg:  fun display_one_frame:  fun make_rw_pixmap:  Actually record new rw_pixmap in appropriate TOPWINDOW_PIXMAP.pixmaps.