/** Sets the state of the "Example" widgets. */
void setExampleWidgetState() {
super.setExampleWidgetState();
topButton.setSelection((tabFolder1.getStyle() & SWT.TOP) != 0);
bottomButton.setSelection((tabFolder1.getStyle() & SWT.BOTTOM) != 0);
borderButton.setSelection((tabFolder1.getStyle() & SWT.BORDER) != 0);
}
