long /*int*/ gtk_switch_page(long /*int*/ widget, long /*int*/ page, long /*int*/ page_num) {
int index = OS.gtk_notebook_get_current_page(handle);
if (index != -1) {
Control control = items[index].getControl();
if (control != null && !control.isDisposed()) {
control.setVisible(false);
}
}
TabItem item = items[(int) /*64*/ page_num];
Control control = item.getControl();
if (control != null && !control.isDisposed()) {
control.setBounds(getClientArea());
control.setVisible(true);
}
Event event = new Event();
event.item = item;
sendSelectionEvent(SWT.Selection, event, false);
return 0;
}
