Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py

changeset 3670
f0cb7579c0b4
parent 3178
f25fc1364c88
child 4021
195a471c327b
--- a/Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py	Sat Jul 05 11:41:14 2014 +0200
+++ b/Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py	Sat Jul 05 12:13:23 2014 +0200
@@ -93,13 +93,13 @@
 // GM Resource not supported
 if(typeof GM_getResourceText === "undefined") {
     function GM_getResourceText(resourceName) {
-        throw ("eric5 Web Browser: GM Resource is not supported!");
+        throw ("eric6 Web Browser: GM Resource is not supported!");
     }
 }
 
 if(typeof GM_getResourceURL === "undefined") {
     function GM_getResourceURL(resourceName) {
-        throw ("eric5 Web Browser: GM Resource is not supported!");
+        throw ("eric6 Web Browser: GM Resource is not supported!");
     }
 }
 

eric ide

mercurial