| /dports/lang/gcc6-aux/gcc-6-20180516/libjava/classpath/gnu/javax/swing/plaf/metal/ |
| H A D | CustomizableTheme.java | 70 private ColorUIResource primary3; field in CustomizableTheme
135 primary3 = new ColorUIResource(c); in setPrimary3()
145 return primary3 == null ? super.getPrimary3() : primary3; in getPrimary3()
|
| /dports/lang/gcc48/gcc-4.8.5/libjava/classpath/gnu/javax/swing/plaf/metal/ |
| H A D | CustomizableTheme.java | 70 private ColorUIResource primary3; field in CustomizableTheme
135 primary3 = new ColorUIResource(c); in setPrimary3()
145 return primary3 == null ? super.getPrimary3() : primary3; in getPrimary3()
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/libjava/classpath/gnu/javax/swing/plaf/metal/ |
| H A D | CustomizableTheme.java | 70 private ColorUIResource primary3; field in CustomizableTheme
135 primary3 = new ColorUIResource(c); in setPrimary3()
145 return primary3 == null ? super.getPrimary3() : primary3; in getPrimary3()
|
| /dports/lang/gnat_util/gcc-6-20180516/libjava/classpath/gnu/javax/swing/plaf/metal/ |
| H A D | CustomizableTheme.java | 70 private ColorUIResource primary3; field in CustomizableTheme
135 primary3 = new ColorUIResource(c); in setPrimary3()
145 return primary3 == null ? super.getPrimary3() : primary3; in getPrimary3()
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/libjava/classpath/gnu/javax/swing/plaf/metal/ |
| H A D | CustomizableTheme.java | 70 private ColorUIResource primary3; field in CustomizableTheme
135 primary3 = new ColorUIResource(c); in setPrimary3()
145 return primary3 == null ? super.getPrimary3() : primary3; in getPrimary3()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/demo/share/jfc/Metalworks/ |
| H A D | PropertiesMetalTheme.java | 74 private ColorUIResource primary3; field in PropertiesMetalTheme
97 primary3 = super.getPrimary3(); in initColors()
138 primary3 = parseColor(colorString.toString()); in loadProperties()
185 return primary3; in getPrimary3()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/demo/share/jfc/Metalworks/ |
| H A D | PropertiesMetalTheme.java | 74 private ColorUIResource primary3; field in PropertiesMetalTheme
97 primary3 = super.getPrimary3(); in initColors()
138 primary3 = parseColor(colorString.toString()); in loadProperties()
185 return primary3; in getPrimary3()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/demo/share/jfc/Metalworks/ |
| H A D | PropertiesMetalTheme.java | 74 private ColorUIResource primary3; field in PropertiesMetalTheme
97 primary3 = super.getPrimary3(); in initColors()
138 primary3 = parseColor(colorString.toString()); in loadProperties()
185 return primary3; in getPrimary3()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/demo/share/jfc/Metalworks/ |
| H A D | PropertiesMetalTheme.java | 74 private ColorUIResource primary3; field in PropertiesMetalTheme
97 primary3 = super.getPrimary3(); in initColors()
138 primary3 = parseColor(colorString.toString()); in loadProperties()
185 return primary3; in getPrimary3()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/demo/share/jfc/Metalworks/ |
| H A D | PropertiesMetalTheme.java | 74 private ColorUIResource primary3; field in PropertiesMetalTheme
97 primary3 = super.getPrimary3(); in initColors()
138 primary3 = parseColor(colorString.toString()); in loadProperties()
185 return primary3; in getPrimary3()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/demo/share/jfc/Metalworks/ |
| H A D | PropertiesMetalTheme.java | 74 private ColorUIResource primary3; field in PropertiesMetalTheme
97 primary3 = super.getPrimary3(); in initColors()
138 primary3 = parseColor(colorString.toString()); in loadProperties()
185 return primary3; in getPrimary3()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/demo/share/jfc/Metalworks/ |
| H A D | PropertiesMetalTheme.java | 74 private ColorUIResource primary3; field in PropertiesMetalTheme
97 primary3 = super.getPrimary3(); in initColors()
138 primary3 = parseColor(colorString.toString()); in loadProperties()
185 return primary3; in getPrimary3()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/demo/share/jfc/Metalworks/ |
| H A D | PropertiesMetalTheme.java | 74 private ColorUIResource primary3; field in PropertiesMetalTheme
97 primary3 = super.getPrimary3(); in initColors()
138 primary3 = parseColor(colorString.toString()); in loadProperties()
185 return primary3; in getPrimary3()
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/demo/jfc/Metalworks/ |
| H A D | PropertiesMetalTheme.java | 74 private ColorUIResource primary3; field in PropertiesMetalTheme
97 primary3 = super.getPrimary3(); in initColors()
138 primary3 = parseColor(colorString.toString()); in loadProperties()
185 return primary3; in getPrimary3()
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/demo/jfc/Metalworks/ |
| H A D | PropertiesMetalTheme.java | 74 private ColorUIResource primary3; field in PropertiesMetalTheme
97 primary3 = super.getPrimary3(); in initColors()
138 primary3 = parseColor(colorString.toString()); in loadProperties()
185 return primary3; in getPrimary3()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/jdk/sanity/client/lib/SwingSet2/src/ |
| H A D | AquaTheme.java | 40 private final ColorUIResource primary3 = new ColorUIResource(159, 235, 235); field in AquaTheme
44 protected ColorUIResource getPrimary3() { return primary3; } in getPrimary3()
|
| H A D | EmeraldTheme.java | 40 private final ColorUIResource primary3 = new ColorUIResource(153, 244, 173); field in EmeraldTheme
44 protected ColorUIResource getPrimary3() { return primary3; } in getPrimary3()
|
| H A D | RubyTheme.java | 40 private final ColorUIResource primary3 = new ColorUIResource(244, 10, 66); field in RubyTheme
44 protected ColorUIResource getPrimary3() { return primary3; } in getPrimary3()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/jdk/sanity/client/lib/SwingSet2/src/ |
| H A D | EmeraldTheme.java | 40 private final ColorUIResource primary3 = new ColorUIResource(153, 244, 173); field in EmeraldTheme
44 protected ColorUIResource getPrimary3() { return primary3; } in getPrimary3()
|
| H A D | RubyTheme.java | 40 private final ColorUIResource primary3 = new ColorUIResource(244, 10, 66); field in RubyTheme
44 protected ColorUIResource getPrimary3() { return primary3; } in getPrimary3()
|
| H A D | AquaTheme.java | 40 private final ColorUIResource primary3 = new ColorUIResource(159, 235, 235); field in AquaTheme
44 protected ColorUIResource getPrimary3() { return primary3; } in getPrimary3()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/jdk/sanity/client/lib/SwingSet2/src/ |
| H A D | EmeraldTheme.java | 40 private final ColorUIResource primary3 = new ColorUIResource(153, 244, 173); field in EmeraldTheme
44 protected ColorUIResource getPrimary3() { return primary3; } in getPrimary3()
|
| H A D | AquaTheme.java | 40 private final ColorUIResource primary3 = new ColorUIResource(159, 235, 235); field in AquaTheme
44 protected ColorUIResource getPrimary3() { return primary3; } in getPrimary3()
|
| H A D | RubyTheme.java | 40 private final ColorUIResource primary3 = new ColorUIResource(244, 10, 66); field in RubyTheme
44 protected ColorUIResource getPrimary3() { return primary3; } in getPrimary3()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/jdk/sanity/client/lib/SwingSet2/src/ |
| H A D | RubyTheme.java | 40 private final ColorUIResource primary3 = new ColorUIResource(244, 10, 66); field in RubyTheme
44 protected ColorUIResource getPrimary3() { return primary3; } in getPrimary3()
|