Changeset 17227 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/audio/AudioPreference.java
- Timestamp:
- 2020-10-18T12:03:21+02:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/audio/AudioPreference.java
r13431 r17227 37 37 38 38 private AudioPreference() { 39 super(/* ICON(preferences/) */ "audio", tr("Audio Settings"), tr("Settings for the audio player and audio markers."));39 super(/* ICON(preferences/) */ "audio", tr("Audio"), tr("Settings for the audio player and audio markers.")); 40 40 } 41 41
Note:
See TracChangeset
for help on using the changeset viewer.