2014-06-30-23.33.04: src/lib/x-kit/widget/gui/guiboss-imp.pkg: restart_gui<prime> now sets topwindow_info.running_gui appropriately.