Changeset 807 in josm for trunk/src


Ignore:
Timestamp:
2008-08-18T16:15:04+02:00 (16 years ago)
Author:
stoecker
Message:

minor fix

Location:
trunk/src/org/openstreetmap/josm
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/openstreetmap/josm/data/Preferences.java

    r804 r807  
    2121import org.openstreetmap.josm.tools.ColorHelper;
    2222
    23 
    2423/**
    2524 * This class holds all preferences for JOSM.
    26  * 
     25 *
    2726 * Other classes can register their beloved properties here. All properties will be
    2827 * saved upon set-access.
    29  * 
     28 *
    3029 * @author imi
    3130 */
    … …  
    8281         */
    8382        public Collection<String> getAllPossiblePreferenceDirs() {
    84             LinkedList<String> locations = new LinkedList<String>();
    85         locations.add(Main.pref.getPreferencesDir());
    86         String s;
    87         if ((s = System.getenv("JOSM_RESOURCES")) != null) {
    88                 if (!s.endsWith("/") && !s.endsWith("\\"))
    89                         s = s + "/";
    90                 locations.add(s);
    91         }
    92         if ((s = System.getProperty("josm.resources")) != null) {
    93                 if (!s.endsWith("/") && !s.endsWith("\\"))
    94                         s = s + "/";
    95                 locations.add(s);
    96         }
    97         String appdata = System.getenv("APPDATA");
    98         if (System.getenv("ALLUSERSPROFILE") != null && appdata != null && appdata.lastIndexOf("\\") != -1) {
    99                 appdata = appdata.substring(appdata.lastIndexOf("\\"));
    100                 locations.add(System.getenv("ALLUSERSPROFILE")+appdata+"/JOSM/");
    101         }
    102         locations.add("/usr/local/share/josm/");
    103         locations.add("/usr/local/lib/josm/");
    104         locations.add("/usr/share/josm/");
    105         locations.add("/usr/lib/josm/");
    106             return locations;
    107         }
    108 
     83                LinkedList<String> locations = new LinkedList<String>();
     84                locations.add(Main.pref.getPreferencesDir());
     85                String s;
     86                if ((s = System.getenv("JOSM_RESOURCES")) != null) {
     87                        if (!s.endsWith("/") && !s.endsWith("\\"))
     88                                s = s + "/";
     89                        locations.add(s);
     90                }
     91                if ((s = System.getProperty("josm.resources")) != null) {
     92                        if (!s.endsWith("/") && !s.endsWith("\\"))
     93                                s = s + "/";
     94                        locations.add(s);
     95                }
     96                String appdata = System.getenv("APPDATA");
     97                if (System.getenv("ALLUSERSPROFILE") != null && appdata != null && appdata.lastIndexOf("\\") != -1) {
     98                        appdata = appdata.substring(appdata.lastIndexOf("\\"));
     99                        locations.add(System.getenv("ALLUSERSPROFILE")+appdata+"/JOSM/");
     100                }
     101                locations.add("/usr/local/share/josm/");
     102                locations.add("/usr/local/lib/josm/");
     103                locations.add("/usr/share/josm/");
     104                locations.add("/usr/lib/josm/");
     105                return locations;
     106        }
    109107
    110108        synchronized public boolean hasKey(final String key) {
    111109                return override.containsKey(key) ? override.get(key) != null : properties.containsKey(key);
    112110        }
     111
    113112        synchronized public String get(final String key) {
    114113                putDefault(key, null);
    … …  
    119118                return properties.get(key);
    120119        }
     120
    121121        synchronized public String get(final String key, final String def) {
    122122                putDefault(key, def);
    123                 if (override.containsKey(key)) 
     123                if (override.containsKey(key))
    124124                        return override.get(key);
    125125                final String prop = properties.get(key);
    … …  
    128128                return prop;
    129129        }
     130
    130131        synchronized public Map<String, String> getAllPrefix(final String prefix) {
    131132                final Map<String,String> all = new TreeMap<String,String>();
    … …  
    141142                return all;
    142143        }
    143        
     144
    144145        synchronized public Map<String, String> getDefaults()
    145146        {
    146147                return defaults;
    147148        }
     149
    148150        synchronized public void putDefault(final String key, final String def) {
    149151                if(!defaults.containsKey(key) || defaults.get(key) == null)
    … …  
    152154                        System.out.println("Defaults for " + key + " differ: " + def + " != " + defaults.get(key));
    153155        }
    154        
     156
    155157        synchronized public boolean getBoolean(final String key) {
    156158                putDefault(key, null);
    … …  
    159161                return properties.containsKey(key) ? Boolean.parseBoolean(properties.get(key)) : false;
    160162        }
     163
    161164        synchronized public boolean getBoolean(final String key, final boolean def) {
    162165                putDefault(key, Boolean.toString(def));
    … …  
    174177                firePreferenceChanged(key, value);
    175178        }
     179
    176180        synchronized public void put(final String key, final boolean value) {
    177181                properties.put(key, Boolean.toString(value));
    … …  
    201205                        // do not message anything, since this can be called from strange
    202206                        // places.
    203                 }               
     207                }
    204208        }
    205209
    … …  
    279283                out.close();
    280284        }
    281        
     285
    282286        /**
    283287         * Convenience method for accessing colour preferences.
    284          * 
     288         *
    285289         * @param colName name of the colour
    286290         * @param def default value
    … …  
    295299                return ColorHelper.html2color(colStr);
    296300        }
     301
    297302        // only for compatibility. Don't use any more.
     303        @Deprecated
    298304        public static Color getPreferencesColor(String colName, Color def)
    299305        {
    … …  
    322328                return ColorHelper.html2color(colStr);
    323329        }
     330
    324331        synchronized public void putColor(String colName, Color val) {
    325332                put("color."+colName, ColorHelper.color2html(val));
    326333        }
    327334
    328         public int getInteger(String key, int def) {
    329             String v = get(key);
    330             if(null == v)
    331                 return def;
    332            
    333             try {
    334                 return Integer.parseInt(v);
    335             } catch(NumberFormatException e) {
    336                 // fall out
    337             }
    338            
    339             return def;
    340     }
     335        synchronized public int getInteger(String key, int def) {
     336                String v = get(key);
     337                if(null == v)
     338                        return def;
     339
     340                try {
     341                        return Integer.parseInt(v);
     342                } catch(NumberFormatException e) {
     343                        // fall out
     344                }
     345                return def;
     346        }
    341347}

  • trunk/src/org/openstreetmap/josm/gui/download/BoundingBoxSelection.java

    r733 r807  
    4141                        new JTextField(11) };
    4242        final JTextArea osmUrl = new JTextArea();
     43        String noteUrl = tr("You can paste an URL here to download the area.");
    4344        String oldUrl = "";
    4445       
    … …  
    4849
    4950                JPanel dlg = new JPanel(new GridBagLayout());
    50                 osmUrl.setText(tr("You can paste an URL here to download the area."));
     51                osmUrl.setText(noteUrl);
    5152
    5253                final FocusListener dialogUpdater = new FocusAdapter() {
    … …  
    169170                }
    170171                // setting old URL prevents refresh based on this URL
    171                 oldUrl = "http://www.openstreetmap.org/index.html?mlat="+lat+"&mlon="+lon+"&zoom="+zoom;
     172                oldUrl = noteUrl+"\n"+"http://www.openstreetmap.org/index.html?mlat="+lat+"&mlon="+lon+"&zoom="+zoom;
    172173                osmUrl.setText(oldUrl);
    173174        }
Note: See TracChangeset for help on using the changeset viewer.