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