Merge branch 'GP-1738_emteere_StaleOptionsFix' into patch

This commit is contained in:
ghidra1 2022-05-18 19:37:02 -04:00
commit 3e96b2aa72

View file

@ -21,8 +21,7 @@ import java.util.*;
import db.*;
import ghidra.framework.options.*;
import ghidra.util.HelpLocation;
import ghidra.util.SystemUtilities;
import ghidra.util.*;
import ghidra.util.exception.ClosedException;
/**
@ -280,6 +279,10 @@ class OptionsDB extends AbstractOptions {
if (optionType == getOptionType()) {
value = optionType.convertStringToObject(rec.getString(VALUE_COL));
}
else {
Msg.info(this, "The type for '" + this.getName() + "' has changed! Using default value.");
value = getDefaultValue();
}
}
}
isCached = true;