Description Grant Gayed 2004-11-24 13:15:50 EST

- run the snippet below
- press Alt+1 to traverse to the second tab -> this will display a Selection 
event, which is expected
- press Alt+1 again -> this will display another Selection event, but should 
not since the selected tab has not changed
-> this is inconsistent with doing this on the other platforms, and also with 
the behaviour of other TabFolder traversals on win32 that do not change the 
selected tab (eg.- pressing left-arrow or Home while on the first tab)

public static void main(String[] args) {
	Display display = new Display ();
	final Shell shell = new Shell(display);
	shell.setBounds(10,10,200,200);
	TabFolder folder = new TabFolder(shell, SWT.NONE);
	folder.setBounds(10,10,150,150);
	for (int i = 0; i < 4; i++) {
		new TabItem(folder, SWT.NONE).setText("i&" + i);
	}
	folder.addSelectionListener(new SelectionAdapter() {
		public void widgetSelected(SelectionEvent e) {
			System.out.println(e.toString());
		}
	});
	shell.open();
	while (!shell.isDisposed()) {
		if (!display.readAndDispatch()) display.sleep();
	}
	display.dispose();
}