Changes between Version 12 and Version 13 of DevelopersGuide/DevelopingPlugins


Ignore:
Timestamp:
2007-06-01T14:08:01+02:00 (18 years ago)
Author:
anonymous
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • DevelopersGuide/DevelopingPlugins

    v12 v13  
    4545
    4646== Main.pref ==
    47 This is the (ONLY!) access to the global preferences file, located in .josm/preferences. Use Main.pref.get(...) and Main.pref.put(...) to access the preferences. They will be saved immediately after an put, so don't put anything you dont want to have there ;).
     47This is the (ONLY!) access to the global preferences file, located in .josm/preferences. Use Main.pref.get(...) and Main.pref.put(...) to access the preferences. They will be saved immediately after a put, so don't put anything you dont want to have there ;).
    4848
    4949Please, prefix custom plugin preferences with your plugin name.