/** * Restore all the properties to their initial default. This may not change properties that are * currently active or that are read at initialization. These changes will take effect at the next * restart. */ public static synchronized void resetDefaultProperties() { BoardSetup setup = BoardSetup.getSetup(); setup.resetProperties(); for (Map.Entry<String, BoardProperties> ent : loaded_properties.entrySet()) { String id = ent.getKey(); if (id.equals("System")) continue; BoardProperties bp = ent.getValue(); bp.clear(); bp.loadProperties(id); } }