From 2c089ff24c85faf0595a1d8b985c4e3ead3f4b64 Mon Sep 17 00:00:00 2001 From: alexwl Date: Fri, 30 Nov 2018 14:20:41 +0300 Subject: Show 'No location info' message for Paths_* modules --- javascript/app/utils/go-to-definition.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'javascript/app/utils') 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, -- cgit v1.2.3