172173174175176177178179180181182
break; case SWT.Verify: toString += new VerifyEvent(event).toString(); break; case SWT.Help: toString += new HelpEvent(event).toString(); break; case SWT.Arm: toString += new ArmEvent(event).toString(); break; case SWT.Traverse:
169170171172173174175176177178179
11071108110911101111111211131114111511161117
168169170171172173174175176177178
((GestureListener)eventListener).gesture(event); e.doit = event.doit; break; } case SWT.Help: { ((HelpListener) eventListener).helpRequested (new HelpEvent (e)); break; } case SWT.Hide: { ((MenuListener) eventListener).menuHidden(new MenuEvent(e)); break;