Changeset 15587 in josm
- Timestamp:
- 2019-12-13T02:28:04+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java
r15586 r15587 3 3 4 4 import static org.openstreetmap.josm.tools.I18n.tr; 5 import static org.openstreetmap.josm.tools.I18n.trc; 5 6 import static org.openstreetmap.josm.tools.I18n.trn; 6 7 … … 178 179 ButtonGroup bg = new ButtonGroup(); 179 180 JPanel radios = new JPanel(); 180 addRadioButton(bg, radios, new JRadioButton(tr ("All"), true), gc, PluginInstallation.ALL);181 addRadioButton(bg, radios, new JRadioButton(tr ("Installed")), gc, PluginInstallation.INSTALLED);182 addRadioButton(bg, radios, new JRadioButton(tr ("Available")), gc, PluginInstallation.AVAILABLE);181 addRadioButton(bg, radios, new JRadioButton(trc("plugins", "All"), true), gc, PluginInstallation.ALL); 182 addRadioButton(bg, radios, new JRadioButton(trc("plugins", "Installed")), gc, PluginInstallation.INSTALLED); 183 addRadioButton(bg, radios, new JRadioButton(trc("plugins", "Available")), gc, PluginInstallation.AVAILABLE); 183 184 pnl.add(radios, gc); 184 185
Note:
See TracChangeset
for help on using the changeset viewer.