Theme selector compatibility

Author: Stefterv

app/src/processing/app/ui/Editor.java

@@ -99,6 +99,7 @@ public abstract class Editor extends JFrame implements RunnerListener {
   private JMenu fileMenu;
   private JMenu sketchMenu;
 
+  protected JPanel spacer = new JPanel();
   protected EditorHeader header;
   protected EditorToolbar toolbar;
   protected JEditTextArea textarea;
@@ -210,11 +211,8 @@ public void windowDeactivated(WindowEvent e) {
       getRootPane().putClientProperty( "apple.awt.fullWindowContent", true );
       getRootPane().putClientProperty( "apple.awt.transparentTitleBar", true );
 
-      var color = Theme.getColor("toolbar.gradient.top");
-      var spacer = new JPanel();
       spacer.setPreferredSize(new Dimension(1, Toolkit.zoom(18)));
       spacer.setMinimumSize(new Dimension(1, Toolkit.zoom(18)));
-      spacer.setBackground(color);
       spacer.setAlignmentX(Component.LEFT_ALIGNMENT);
       box.add(spacer);
     }
@@ -588,6 +586,9 @@ public void updateTheme() {
       errorTable.updateTheme();
     }
 
+    var color = Theme.getColor("toolbar.gradient.top");
+    spacer.setBackground(color);
+
     toolTipFont = Toolkit.getSansFont(Toolkit.zoom(9), Font.PLAIN);
     toolTipTextColor = Theme.get("errors.selection.fgcolor");
     toolTipWarningColor = Theme.get("errors.selection.warning.bgcolor");