--- a/ui/cocoa/toolkit.h Wed Mar 26 15:53:43 2014 +0100 +++ b/ui/cocoa/toolkit.h Fri Mar 28 20:03:01 2014 +0100 @@ -45,5 +45,8 @@ - (void) setCallback: (ui_callback)f; - (BOOL)handleEvent:(id)sender; +- (BOOL)handleStateEvent:(id)sender; @end + +