Improve colors for borderColor

swing/src/main/java/info/openrocket/swing/gui/theme/UITheme.java

@@ -40,6 +40,7 @@ public class UITheme {
 
 
     // TODO: replace a bunch of this with the FlatLaf properties files, see https://www.formdev.com/flatlaf/properties-files
+    // For FlatLaf theme properties, check out swing/src/main/resources/themes
 
     public interface Theme {
         void applyTheme();
@@ -1814,9 +1815,6 @@ public class UITheme {
     private static void postApplyTheme(Theme theme) {
         final SwingPreferences prefs = (SwingPreferences) Application.getPreferences();
 
-        // TODO: For some reason, FlatLaf does not take the correct values from the properties file
-        UIManager.put("OR.ScrollPane.borderColor", theme.getBorderColor());
-
         // Clear custom default font when switching to non-FlatLaf LaF
         if (!(UIManager.getLookAndFeel() instanceof FlatLaf)) {
             UIManager.put("defaultFont", null);

swing/src/main/resources/themes/FlatDarculaLaf.properties

@@ -6,4 +6,4 @@ Slider.trackColor = #a3a3a3cc
 SplitPaneDivider.hoverColor = lighten(@background, 5%)
 
 # Custom OpenRocket keys
-OR.ScrollPane.borderColor = #a3a3a3cc
+OR.ScrollPane.borderColor = #8a8a8acc

swing/src/main/resources/themes/FlatLaf.properties

@@ -18,8 +18,9 @@ Tree.rendererMargins = 2, 0, 3, 0
 TextArea.margin = 10, 10, 10, 10
 ScrollPane.smoothScrolling = true
 ScrollPane.border = info.openrocket.swing.gui.theme.ORScrollPaneBorder
+TextField.border = info.openrocket.swing.gui.theme.ORScrollPaneBorder
 
 Slider.trackWidth = 3
 
 # Custom OpenRocket keys
-OR.ScrollPane.borderColor = #000000
+OR.ScrollPane.borderColor = #969696

swing/src/main/resources/themes/IntelliJTheme$ThemeLaf.properties

@@ -6,5 +6,4 @@
 [One_Dark]SplitPaneDivider.hoverColor = lighten(@background, 5%)
 
 # Custom OpenRocket keys
-#[One_Dark]OR.ScrollPane.borderColor = #616365
-[One_Dark]ScrollPane.borderColor = #FF0000
+[One_Dark]OR.ScrollPane.borderColor = #6e7275