[5927] | 1 | // License: GPL. For details, see LICENSE file.
|
---|
[5092] | 2 | package org.openstreetmap.josm.actions;
|
---|
| 3 |
|
---|
| 4 | import java.awt.event.ActionEvent;
|
---|
| 5 | import javax.swing.JCheckBoxMenuItem;
|
---|
| 6 | import org.openstreetmap.josm.Main;
|
---|
| 7 | import org.openstreetmap.josm.data.Preferences;
|
---|
| 8 | import org.openstreetmap.josm.data.Preferences.PreferenceChangedListener;
|
---|
| 9 |
|
---|
| 10 | public class PreferenceToggleAction extends JosmAction implements PreferenceChangedListener {
|
---|
| 11 |
|
---|
[6501] | 12 | private final JCheckBoxMenuItem checkbox;
|
---|
| 13 | private final String prefKey;
|
---|
| 14 | private final boolean prefDefault;
|
---|
[5092] | 15 |
|
---|
| 16 | public PreferenceToggleAction(String name, String tooltip, String prefKey, boolean prefDefault) {
|
---|
| 17 | super(name, null, tooltip, null, false);
|
---|
[6501] | 18 | putValue("toolbar", "toggle-" + prefKey);
|
---|
| 19 | this.prefKey = prefKey;
|
---|
| 20 | this.prefDefault = prefDefault;
|
---|
[5092] | 21 | this.checkbox = new JCheckBoxMenuItem(this);
|
---|
[6501] | 22 | this.checkbox.setSelected(Main.pref.getBoolean(prefKey, prefDefault));
|
---|
[5092] | 23 | Main.pref.addPreferenceChangeListener(this);
|
---|
| 24 | }
|
---|
| 25 |
|
---|
| 26 | @Override
|
---|
| 27 | public void actionPerformed(ActionEvent e) {
|
---|
[6501] | 28 | Main.pref.put(prefKey, checkbox.isSelected());
|
---|
[5092] | 29 | }
|
---|
| 30 |
|
---|
| 31 | public JCheckBoxMenuItem getCheckbox() {
|
---|
| 32 | return checkbox;
|
---|
| 33 | }
|
---|
| 34 |
|
---|
| 35 | @Override
|
---|
| 36 | public void preferenceChanged(Preferences.PreferenceChangeEvent e) {
|
---|
[6501] | 37 | if (prefKey.equals(e.getKey())) {
|
---|
| 38 | checkbox.setSelected(Main.pref.getBoolean(prefKey, prefDefault));
|
---|
[5092] | 39 | }
|
---|
| 40 | }
|
---|
| 41 | }
|
---|