mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
ignore outdated properties when restoring registry defaults (IDEA-121047)
This commit is contained in:
@@ -157,7 +157,13 @@ public class Registry {
|
||||
Map<String, String> old = new HashMap<String, String>();
|
||||
old.putAll(myUserProperties);
|
||||
for (String each : old.keySet()) {
|
||||
get(each).resetToDefault();
|
||||
try {
|
||||
get(each).resetToDefault();
|
||||
}
|
||||
catch (MissingResourceException e) {
|
||||
// outdated property that is not declared in registry.properties anymore
|
||||
myValues.remove(each);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user