1 | package org.openstreetmap.josm.data;
|
---|
2 |
|
---|
3 | import java.awt.Color;
|
---|
4 | import java.io.BufferedReader;
|
---|
5 | import java.io.FileReader;
|
---|
6 | import java.io.FileWriter;
|
---|
7 | import java.io.IOException;
|
---|
8 | import java.io.PrintWriter;
|
---|
9 | import java.util.ArrayList;
|
---|
10 | import java.util.Map;
|
---|
11 | import java.util.SortedMap;
|
---|
12 | import java.util.TreeMap;
|
---|
13 | import java.util.Map.Entry;
|
---|
14 |
|
---|
15 | import org.openstreetmap.josm.data.osm.visitor.SimplePaintVisitor;
|
---|
16 | import org.openstreetmap.josm.tools.ColorHelper;
|
---|
17 |
|
---|
18 |
|
---|
19 | /**
|
---|
20 | * This class holds all preferences for JOSM.
|
---|
21 | *
|
---|
22 | * Other classes can register their beloved properties here. All properties will be
|
---|
23 | * saved upon set-access.
|
---|
24 | *
|
---|
25 | * @author imi
|
---|
26 | */
|
---|
27 | public class Preferences {
|
---|
28 |
|
---|
29 | public static interface PreferenceChangedListener {
|
---|
30 | void preferenceChanged(String key, String newValue);
|
---|
31 | }
|
---|
32 |
|
---|
33 | ArrayList<PreferenceChangedListener> listener = new ArrayList<PreferenceChangedListener>();
|
---|
34 |
|
---|
35 | /**
|
---|
36 | * Map the property name to the property object.
|
---|
37 | */
|
---|
38 | private SortedMap<String, String> properties = new TreeMap<String, String>();
|
---|
39 |
|
---|
40 | /**
|
---|
41 | * Return the location of the preferences file
|
---|
42 | */
|
---|
43 | public static String getPreferencesDir() {
|
---|
44 | return System.getProperty("user.home")+"/.josm/";
|
---|
45 | }
|
---|
46 |
|
---|
47 |
|
---|
48 | public void addPreferenceChangedListener(PreferenceChangedListener listener) {
|
---|
49 | this.listener.add(listener);
|
---|
50 | }
|
---|
51 | public void removePreferenceChangedListener(PreferenceChangedListener listener) {
|
---|
52 | this.listener.remove(listener);
|
---|
53 | }
|
---|
54 |
|
---|
55 |
|
---|
56 | synchronized public String get(String key) {
|
---|
57 | if (!properties.containsKey(key))
|
---|
58 | return "";
|
---|
59 | return properties.get(key);
|
---|
60 | }
|
---|
61 | synchronized public String get(String key, String def) {
|
---|
62 | String prop = properties.get(key);
|
---|
63 | if (prop == null || prop.equals(""))
|
---|
64 | return def;
|
---|
65 | return prop;
|
---|
66 | }
|
---|
67 | synchronized public Map<String, String> getAllPrefix(String prefix) {
|
---|
68 | Map<String,String> all = new TreeMap<String,String>();
|
---|
69 | for (Entry<String,String> e : properties.entrySet())
|
---|
70 | if (e.getKey().startsWith(prefix))
|
---|
71 | all.put(e.getKey(), e.getValue());
|
---|
72 | return all;
|
---|
73 | }
|
---|
74 | synchronized public boolean getBoolean(String key) {
|
---|
75 | return getBoolean(key, false);
|
---|
76 | }
|
---|
77 | synchronized public boolean getBoolean(String key, boolean def) {
|
---|
78 | return properties.containsKey(key) ? Boolean.parseBoolean(properties.get(key)) : def;
|
---|
79 | }
|
---|
80 |
|
---|
81 |
|
---|
82 | synchronized public void put(String key, String value) {
|
---|
83 | if (value == null)
|
---|
84 | properties.remove(key);
|
---|
85 | else
|
---|
86 | properties.put(key, value);
|
---|
87 | save();
|
---|
88 | firePreferenceChanged(key, value);
|
---|
89 | }
|
---|
90 | synchronized public void put(String key, boolean value) {
|
---|
91 | properties.put(key, Boolean.toString(value));
|
---|
92 | save();
|
---|
93 | firePreferenceChanged(key, Boolean.toString(value));
|
---|
94 | }
|
---|
95 |
|
---|
96 | private void firePreferenceChanged(String key, String value) {
|
---|
97 | for (PreferenceChangedListener l : listener)
|
---|
98 | l.preferenceChanged(key, value);
|
---|
99 | }
|
---|
100 |
|
---|
101 |
|
---|
102 | /**
|
---|
103 | * Called after every put. In case of a problem, do nothing but output the error
|
---|
104 | * in log.
|
---|
105 | */
|
---|
106 | private void save() {
|
---|
107 | try {
|
---|
108 | PrintWriter out = new PrintWriter(new FileWriter(
|
---|
109 | getPreferencesDir() + "preferences"));
|
---|
110 | for (Entry<String, String> e : properties.entrySet())
|
---|
111 | if (!e.getValue().equals(""))
|
---|
112 | out.println(e.getKey() + "=" + e.getValue());
|
---|
113 | out.close();
|
---|
114 | } catch (IOException e) {
|
---|
115 | e.printStackTrace();
|
---|
116 | // do not message anything, since this can be called from strange
|
---|
117 | // places.
|
---|
118 | }
|
---|
119 | }
|
---|
120 |
|
---|
121 |
|
---|
122 | public void load() throws IOException {
|
---|
123 | properties.clear();
|
---|
124 | BufferedReader in = new BufferedReader(new FileReader(getPreferencesDir()+"preferences"));
|
---|
125 | int lineNumber = 0;
|
---|
126 | for (String line = in.readLine(); line != null; line = in.readLine(), lineNumber++) {
|
---|
127 | int i = line.indexOf('=');
|
---|
128 | if (i == -1 || i == 0)
|
---|
129 | throw new IOException("Malformed config file at line "+lineNumber);
|
---|
130 | properties.put(line.substring(0,i), line.substring(i+1));
|
---|
131 | }
|
---|
132 | }
|
---|
133 |
|
---|
134 | public void resetToDefault() {
|
---|
135 | properties.clear();
|
---|
136 | properties.put("laf", "javax.swing.plaf.metal.MetalLookAndFeel");
|
---|
137 | properties.put("projection", "org.openstreetmap.josm.data.projection.Epsg4326");
|
---|
138 | properties.put("osm-server.url", "http://www.openstreetmap.org/api");
|
---|
139 | properties.put("color.node", ColorHelper.color2html(Color.red));
|
---|
140 | properties.put("color.segment", ColorHelper.color2html(SimplePaintVisitor.darkgreen));
|
---|
141 | properties.put("color.way", ColorHelper.color2html(SimplePaintVisitor.darkblue));
|
---|
142 | properties.put("color.incomplete way", ColorHelper.color2html(SimplePaintVisitor.darkerblue));
|
---|
143 | properties.put("color.selected", ColorHelper.color2html(Color.white));
|
---|
144 | properties.put("color.gps point", ColorHelper.color2html(Color.gray));
|
---|
145 | save();
|
---|
146 | }
|
---|
147 | }
|
---|