'Edit CSS' did not display stylesheet names correctly

chrispederick · Apr 5, 2017 · 6711dc8 · 6711dc8
1 parent a97e57f
commit 6711dc8
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 3 deletions.
diff --git a/configuration/firefox/configuration.properties b/configuration/firefox/configuration.properties
@@ -1,3 +1,3 @@
 common.prefix=chrome://web-developer/content
 description=Adds a menu and a toolbar with various web developer tools.
-version=1.2.12
+version=1.2.13
diff --git a/source/common/javascript/dashboard/dashboard.js b/source/common/javascript/dashboard/dashboard.js
@@ -14,8 +14,14 @@ WebDeveloper.Dashboard.formatURL = function(url)
   // If the URL is set
   if(url)
   {
-    var lastSlashIndex   = url.lastIndexOf("/");
-    var queryStringIndex = url.indexOf("?", lastSlashIndex);
+    var lastSlashIndex   = 0;
+    var queryStringIndex = 0;
+
+    // Required to fix memory corruption (?) resulting in garbled URL in Firefox 52+
+    url = " " + url;
+
+    lastSlashIndex   = url.lastIndexOf("/");
+    queryStringIndex = url.indexOf("?", lastSlashIndex);
 
     // If there is no query string
     if(queryStringIndex == -1)