case SWT.TRAVERSE_ARROW_NEXT: case SWT.TRAVERSE_ARROW_PREVIOUS: event.doit = onArrowTraversal(event); event.detail = SWT.TRAVERSE_NONE; break;
void onTraverse (Event event) {	switch (event.detail) {		case SWT.TRAVERSE_ARROW_NEXT:		case SWT.TRAVERSE_ARROW_PREVIOUS:			event.doit = onArrowTraversal(event);			event.detail = SWT.TRAVERSE_NONE;			break;		case SWT.TRAVERSE_ESCAPE:		case SWT.TRAVERSE_RETURN:		case SWT.TRAVERSE_TAB_NEXT:		case SWT.TRAVERSE_TAB_PREVIOUS:			event.doit = true;			break;		case SWT.TRAVERSE_MNEMONIC:			event.doit = onMnemonic(event);			if (event.doit) event.detail = SWT.TRAVERSE_NONE;			break;		case SWT.TRAVERSE_PAGE_NEXT:		case SWT.TRAVERSE_PAGE_PREVIOUS:			event.doit = onPageTraversal(event);			event.detail = SWT.TRAVERSE_NONE;			break;	}}