2014-06-26-21.17.58: Events are now forwarded from windowsystem_imp_for_x to guiboss_imp. That largely completes the plumbing job: Next up is adding a platform-independent Guievent parallel to Xevent, then getting guiboss_imp to forward Guievents to widgets as appropriate.