GP-3544 various changes

This commit is contained in:
ghidra1 2023-06-20 17:28:11 -04:00 committed by Ryan Kurtz
parent 4b075086c2
commit c974d088c0
21 changed files with 452 additions and 71 deletions

View file

@ -473,6 +473,7 @@ public class ProgramDB extends DomainObjectAdapterDB implements Program, ChangeM
pl.getString(PREFERRED_ROOT_NAMESPACE_CATEGORY_PROPERTY, null));
}
@Override
protected boolean propertyChanged(String propertyName, Object oldValue, Object newValue) {
if (propertyName.equals(PREFERRED_ROOT_NAMESPACE_CATEGORY_PROPERTY_PATHNAME)) {
String path = (String) newValue;
@ -2028,7 +2029,7 @@ public class ProgramDB extends DomainObjectAdapterDB implements Program, ChangeM
Msg.info(this,
"Updating language version for Program " + getName() + ": " +
language.getLanguageDescription() + " (Version " +
language.getVersion() + "." + language.getMinorVersion());
language.getVersion() + "." + language.getMinorVersion() + ")");
}
if (newCompilerSpecID != null) {