Changes between Initial Version and Version 8 of Ticket #12522


Ignore:
Timestamp:
2017-03-14T12:06:39+01:00 (4 years ago)
Author:
bastiK
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12522

    • Property Status changed from new to reopened
    • Property Milestone changed from to 16.02
  • Ticket #12522 – Description

    initial v8  
    88a. Central registry: Basically convert all `Main.pref.get(...)` calls to `StringProperty` and put those properties in a class that is loaded early.
    99b. When JOSM exits, write all known defaults to a cache file (`~/.josm/cache/default_preferences.xml`) and load these entries back at next start.
     10edit:
     11c. Static code analysis: Scrape the JOSM source code (or byte code) and collect all preference keys + default values. Then distribute this list in the .jar file and load at runtime.