diff options
Diffstat (limited to 'javascript/app')
| -rw-r--r-- | javascript/app/utils/go-to-definition.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/javascript/app/utils/go-to-definition.js b/javascript/app/utils/go-to-definition.js index 7063ec0..6eac9c3 100644 --- a/javascript/app/utils/go-to-definition.js +++ b/javascript/app/utils/go-to-definition.js @@ -41,7 +41,8 @@ function goToDefinition(store,locationInfo,buttonId,currentLineNumber) { saveCurrentLocation(currentLineNumber); } openUrl(buttonId,url); - } else if(locationInfo.tag === "ApproximateLocation") { + } else if((locationInfo.tag === "ApproximateLocation") && + (locationInfo.moduleName.indexOf("Paths_") !== 0)) { const packageId = locationInfo.packageId.name+"-"+locationInfo.packageId.version; if(locationInfo.entity === "Mod") { store.loadDefinitionSite(packageId, |