int mask = SWT.SHADOW_IN | SWT.SHADOW_OUT | SWT.SHADOW_NONE | SWT.LEFT | SWT.RIGHT | SWT.CENTER | SWT.LEFT_TO_RIGHT | SWT.RIGHT_TO_LEFT;
int mask = SWT.SHADOW_IN | SWT.SHADOW_OUT | SWT.SHADOW_NONE | SWT.LEFT_TO_RIGHT | SWT.RIGHT_TO_LEFT;
private static int checkStyle (int style) {	if ((style & SWT.BORDER) != 0) style |= SWT.SHADOW_IN;	int mask = SWT.SHADOW_IN | SWT.SHADOW_OUT | SWT.SHADOW_NONE | SWT.LEFT | SWT.RIGHT | SWT.CENTER | SWT.LEFT_TO_RIGHT | SWT.RIGHT_TO_LEFT;	style = style & mask;	style |= SWT.NO_FOCUS;	if ((style & (SWT.CENTER | SWT.RIGHT)) == 0) style |= SWT.LEFT;	//TEMPORARY CODE	/*	 * The default background on carbon and some GTK themes is not a solid color 	 * but a texture.  To show the correct default background, we must allow	 * the operating system to draw it and therefore, we can not use the 	 * NO_BACKGROUND style.  The NO_BACKGROUND style is not required on platforms	 * that use double buffering which is true in both of these cases.	 */	String platform = SWT.getPlatform();	if ("carbon".equals(platform) || "gtk".equals(platform)) return style; //$NON-NLS-1$ //$NON-NLS-2$	return style | SWT.NO_BACKGROUND;}