Changeset 6495 in josm
- Timestamp:
- 2013-12-18T19:47:02+01:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/advanced/PreferencesTable.java
r6142 r6495 298 298 private Color foregroundColor = Main.pref.getUIColor("Table.foreground"); 299 299 private Color nonDefaultColor = Main.pref.getColor( 300 marktr("Advanced Background: NonDefa lut"),300 marktr("Advanced Background: NonDefault"), 301 301 new Color(255,255,200)); 302 302
Note:
See TracChangeset
for help on using the changeset viewer.