public void setSelectedTab(Tab tab) {
   if (getSelectionModel().getSelectedItem() != tab) {
     Platform.runLater(
         () -> {
           System.out.println("Selecting " + tab.getText());
           getSelectionModel().select(tab);
         });
   }
 }
Ejemplo n.º 2
0
 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;
 }
Ejemplo n.º 3
0
 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;
 }
Ejemplo n.º 4
0
  @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));
          }
        }
      }
    }
  }
Ejemplo n.º 5
0
 @Override
 public void setModified() {
   String s = tab.getText();
   tab.setText("* " + s);
 }