make editor scroll bar into a generic class for themes

Author: benfry

app/src/processing/app/syntax/PdeTextArea.java

@@ -28,6 +28,7 @@
 
 import processing.app.ui.Editor;
 import processing.app.ui.Theme;
+import processing.app.ui.ThemeScrollBarUI;
 
 
 /**
@@ -67,6 +68,16 @@ public PdeTextArea(TextAreaDefaults defaults, InputHandler inputHandler,
   }
 
 
+  static class PdeScrollBarUI extends ThemeScrollBarUI {
+    PdeScrollBarUI() {
+      super("editor.scrollbar.color",
+            "editor.scrollbar.thumb.pressed.color",
+            "editor.scrollbar.thumb.rollover.color",
+            "editor.scrollbar.thumb.enabled.color");
+    }
+  }
+
+
   @Override
   protected TextAreaPainter createPainter(final TextAreaDefaults defaults) {
     return new PdeTextAreaPainter(this, defaults);

…rocessing/app/syntax/PdeScrollBarUI.java …/processing/app/ui/ThemeScrollBarUI.javaapp/src/processing/app/syntax/PdeScrollBarUI.java renamed to app/src/processing/app/ui/ThemeScrollBarUI.java app/src/processing/app/syntax/PdeScrollBarUI.java renamed to app/src/processing/app/ui/ThemeScrollBarUI.java

@@ -21,7 +21,7 @@
   51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
 */
 
-package processing.app.syntax;
+package processing.app.ui;
 
 import processing.app.ui.Theme;
 
@@ -34,15 +34,29 @@
  * Custom scroll bar style for the editor.
  * Originally based on https://stackoverflow.com/a/53662678
  */
-public class PdeScrollBarUI extends BasicScrollBarUI {
+public class ThemeScrollBarUI extends BasicScrollBarUI {
   private final Dimension none = new Dimension();
 
+  private String backgroundAttr;
+  private String pressedAttr;
+  private String rolloverAttr;
+  private String enabledAttr;
+
   private Color backgroundColor;
   private Color pressedColor;
   private Color rolloverColor;
   private Color enabledColor;
 
 
+  public ThemeScrollBarUI(String backgroundAttr, String pressedAttr,
+                          String rolloverAttr, String enabledAttr) {
+    this.backgroundAttr = backgroundAttr;
+    this.pressedAttr = pressedAttr;
+    this.rolloverAttr = rolloverAttr;
+    this.enabledAttr = enabledAttr;
+  }
+
+
   public void updateTheme() {
     backgroundColor = Theme.getColor("editor.scrollbar.color");
     pressedColor = Theme.getColor("editor.scrollbar.thumb.pressed.color");