Merge remote-tracking branch 'origin/GP-40_adamopolous_uncaught-exception-decompiler--SQUASHED'

This commit is contained in:
adamopolous
2020-08-13 14:10:10 -04:00

View File

@@ -627,10 +627,10 @@ public class DecompilerProvider extends NavigatableComponentProviderAdapter
navigatable = newProvider;
}
Symbol symbol = function.getSymbol();
ExternalManager externalManager = program.getExternalManager();
ExternalLocation externalLocation = externalManager.getExternalLocation(symbol);
if (externalLocation != null) {
if (function.isExternal()) {
Symbol symbol = function.getSymbol();
ExternalManager externalManager = program.getExternalManager();
ExternalLocation externalLocation = externalManager.getExternalLocation(symbol);
service.goToExternalLocation(navigatable, externalLocation, true);
}
else {