Method updateTheme

app/src/processing/app/syntax/PdeTextArea.java:82–99

()

  @Override
  public void updateTheme() {
    painter.updateTheme();

    gutterGradient = Theme.makeGradient("editor", Editor.LEFT_GUTTER, 500);

    if (vertical.getUI() instanceof PdeScrollBarUI) {
//      System.out.println("PdeTextArea.updateTheme() just updating");
      ((PdeScrollBarUI) vertical.getUI()).updateTheme();
      ((PdeScrollBarUI) horizontal.getUI()).updateTheme();
    } else {
//      System.out.println("PdeTextArea.updateTheme() setting ui");
      vertical.setUI(new PdeScrollBarUI("editor.scrollbar"));
      horizontal.setUI(new PdeScrollBarUI("editor.scrollbar"));
    }

    repaint();
  }


  /**