super.pageChange(newPageIndex);
}
@Override
protected void createPages() {
sourceEditor = new HTMLSourceEditor(new HTMLConfiguration(HTMLPlugin.getDefault().getColorProvider()));
int pageNumber = 0;
try {
browser = new Browser(getContainer(), SWT.NULL);
browser.addStatusTextListener(this);
browser.addOpenWindowListener(new BrowserWindowHelper(getContainer().getDisplay()));