Mercurial Repositories > eric / file comparison
comparison: Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py
Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py
- changeset 3670
- f0cb7579c0b4
- parent 3178
- f25fc1364c88
- child 4021
- 195a471c327b
equal
deleted
inserted
replaced
| 3669:ac84ac3c0f05 | 3670:f0cb7579c0b4 |
|---|---|
| 91 } | 91 } |
| 92 | 92 |
| 93 // GM Resource not supported | 93 // GM Resource not supported |
| 94 if(typeof GM_getResourceText === "undefined") { | 94 if(typeof GM_getResourceText === "undefined") { |
| 95 function GM_getResourceText(resourceName) { | 95 function GM_getResourceText(resourceName) { |
| 96 throw ("eric5 Web Browser: GM Resource is not supported!"); | 96 throw ("eric6 Web Browser: GM Resource is not supported!"); |
| 97 } | 97 } |
| 98 } | 98 } |
| 99 | 99 |
| 100 if(typeof GM_getResourceURL === "undefined") { | 100 if(typeof GM_getResourceURL === "undefined") { |
| 101 function GM_getResourceURL(resourceName) { | 101 function GM_getResourceURL(resourceName) { |
| 102 throw ("eric5 Web Browser: GM Resource is not supported!"); | 102 throw ("eric6 Web Browser: GM Resource is not supported!"); |
| 103 } | 103 } |
| 104 } | 104 } |
| 105 | 105 |
| 106 // GM Settings not supported | 106 // GM Settings not supported |
| 107 if(typeof GM_getValue === "undefined") { | 107 if(typeof GM_getValue === "undefined") { |
