2014-09-27-21.07.09: src/lib/x-kit/widget/gui/guiboss-imp.pkg:  Added  do_motion_notify.