Changeset 17311 in josm for trunk/src/org
- Timestamp:
- 2020-11-15T15:49:25+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/display/DisplayPreference.java
r17229 r17311 3 3 4 4 import static org.openstreetmap.josm.tools.I18n.tr; 5 import static org.openstreetmap.josm.tools.I18n.trc; 5 6 6 7 import javax.swing.JTabbedPane; … … 30 31 31 32 private DisplayPreference() { 32 super(/* ICON(preferences/) */ "display", tr ("Display"),33 super(/* ICON(preferences/) */ "display", trc("gui", "Display"), 33 34 tr("Various settings that influence the visual representation of the whole program."), false, new JTabbedPane()); 34 35 }
Note:
See TracChangeset
for help on using the changeset viewer.