2014-11-09-19.53.04: src/lib/x-kit/widget/gui/guiboss-imp.pkg:  Fixed: restart_gui was hardwired to use the toplevel window as the gui size, instead of taking the size from its topwindow_pixmap arg.