Changeset 12987 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/advanced/PreferencesTable.java

Timestamp:

2017-10-12T16:02:15+02:00 (7 years ago)

Author:

bastiK

Message:

see #15410 - change preferences scheme for named colors - makes runtime color name registry obsolete

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/advanced/PreferencesTable.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/advanced/PreferencesTable.java

@@ -29 +29 @@
 import javax.swing.table.DefaultTableModel;
 
-import org.openstreetmap.josm.data.preferences.ColorProperty;
+import org.openstreetmap.josm.data.preferences.NamedColorProperty;
 import org.openstreetmap.josm.spi.preferences.ListListSetting;
 import org.openstreetmap.josm.spi.preferences.ListSetting;
@@ -336 +336 @@
     static final class SettingCellRenderer extends DefaultTableCellRenderer {
         private final Color backgroundColor = UIManager.getColor("Table.background");
-        private final Color changedColor = new ColorProperty(
+        private final Color changedColor = new NamedColorProperty(
                          marktr("Advanced Background: Changed"),
                          new Color(200, 255, 200)).get();
-        private final Color nonDefaultColor = new ColorProperty(
+        private final Color nonDefaultColor = new NamedColorProperty(
                             marktr("Advanced Background: NonDefault"),
                             new Color(255, 255, 200)).get();