Method placeTabs

app/src/processing/app/ui/EditorHeader.java:268–310

(int left, int right, Graphics2D g)

  private boolean placeTabs(int left, int right, Graphics2D g) {
    Sketch sketch = editor.getSketch();
    int x = left;

    for (int i = 0; i < sketch.getCodeCount(); i++) {
      SketchCode code = sketch.getCode(i);
      Tab tab = tabs[i];

      int state = (code == sketch.getCurrentCode()) ? SELECTED : UNSELECTED;
      tab.left = x;
      x += TEXT_MARGIN;

      int drawWidth = tab.textVisible ? tab.textWidth : NO_TEXT_WIDTH;
      x += drawWidth + TEXT_MARGIN;
      tab.right = x;

      if (g != null && tab.right < right) {
        g.setColor(tabColor[state]);
        drawTab(g, tab.left, tab.right, i == 0, false, state == SELECTED);

        if (tab.textVisible) {
          int textLeft = tab.left + ((tab.right - tab.left) - tab.textWidth) / 2;
          g.setColor(textColor[state]);
          int tabHeight = TAB_BOTTOM - TAB_TOP;
          int baseline = TAB_TOP + (tabHeight + fontAscent) / 2 + 1;
          g.drawString(tab.text, textLeft, baseline);
        }

        if (code.isModified()) {
          g.setColor(modifiedColor);
          int barTop = TAB_TOP;
          int barWidth = Toolkit.zoom(1);
          int barHeight = (TAB_BOTTOM - barTop) + ((state == SELECTED) ? TAB_BELOW : 0);
          int barLeft = tab.right - barWidth;
          g.fillRect(barLeft, barTop,
                  barWidth,
                  barHeight);
        }
      }
      x += TAB_BETWEEN;
    }
    return x <= right;
  }


  private void drawTab(Graphics g, int left, int right,