2014-12-26-20.33.06: src/lib/x-kit/widget/gui/guiboss-imp.pkg:  Fiddling to properly maintain gadget_info.has_mouse_focus field.