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); }