StringInputDialog dialog = new StringInputDialog(main.getShell(), "Rename Pathway",
"Enter new name", tab.getText());
dialog.setSelectText(true);
newname = dialog.open();
}
while(newname != null && !newname.equals(tab.getText()) &&
(main.getAllPathwayNames().contains(newname) ||
main.getOpenTabNames().contains(newname)));