mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2025-10-05 19:42:36 +02:00
GP-653 added support for user-defined compiler spec extensions
This commit is contained in:
parent
cce6807470
commit
ed82c2cb34
2915 changed files with 333939 additions and 4451 deletions
|
@ -481,7 +481,8 @@ public abstract class DomainObjectAdapterDB extends DomainObjectAdapter
|
|||
*/
|
||||
protected boolean propertyChanged(String propertyName, Object oldValue, Object newValue) {
|
||||
setChanged(true);
|
||||
fireEvent(new DomainObjectChangeRecord(DomainObject.DO_PROPERTY_CHANGED, name, name));
|
||||
fireEvent(
|
||||
new DomainObjectChangeRecord(DomainObject.DO_PROPERTY_CHANGED, propertyName, newValue));
|
||||
return true;
|
||||
}
|
||||
|
||||
|
|
|
@ -157,6 +157,8 @@ class OptionsDB extends AbstractOptions {
|
|||
public synchronized void removeOption(String propertyName) {
|
||||
super.removeOption(propertyName);
|
||||
removePropertyFromDB(propertyName);
|
||||
// NOTE: AbstractOptions does not provide removal notification
|
||||
notifyOptionChanged(propertyName, null, null);
|
||||
}
|
||||
|
||||
private void removePropertyFromDB(String propertyName) {
|
||||
|
@ -331,7 +333,7 @@ class OptionsDB extends AbstractOptions {
|
|||
|
||||
@Override
|
||||
protected boolean notifyOptionChanged(String optionName, Object oldValue, Object newValue) {
|
||||
return domainObj.propertyChanged(name, oldValue, newValue);
|
||||
return domainObj.propertyChanged(optionName, oldValue, newValue);
|
||||
}
|
||||
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue