2014-09-29-22.11.10: src/lib/x-kit/widget/gui/guiboss-to-gadget.pkg:  Merge   note_mousebutton_press_event() + note_mousebutton_release_event()   into a single   note_mousebutton_event()   call -- I think this be more convenient for widget code.