public void setSelectedTab(Tab tab) {
if (getSelectionModel().getSelectedItem() != tab) {
Platform.runLater(
() -> {
System.out.println("Selecting " + tab.getText());
getSelectionModel().select(tab);
});
}
}
public Tab findAfterTab(String text, int index) {
int tabCount = this.getTabs().size();
for (int i = index + 1; i < tabCount; i++) {
Tab tab = this.getTabs().get(i);
if (tab.getText().equals(text)) {
return tab;
}
}
return null;
}
public Tab findBeforeTab(String text, int index) {
int tabCount = this.getTabs().size();
if (index >= tabCount) {
index = tabCount - 1;
}
for (int i = index - 1; i >= 0; i--) {
Tab tab = this.getTabs().get(i);
if (tab.getText().equals(text)) {
return tab;
}
}
return null;
}
@Override
public void setModified(EditorPane pane, boolean isModified) {
for (Tab tab : tabPane.getTabs()) {
EditorPane currentPane = (EditorPane) tab.getContent();
if (currentPane == pane) {
String tabText = tab.getText();
if (isModified) {
if (!tabText.endsWith(S_ASTERISK)) {
tab.setText(tabText + S_ASTERISK);
}
} else {
if (tabText.endsWith(S_ASTERISK)) {
tab.setText(tabText.substring(0, tabText.length() - 1));
}
}
}
}
}
@Override
public void setModified() {
String s = tab.getText();
tab.setText("* " + s);
}