comparison: eric6/WebBrowser/GreaseMonkey/GreaseMonkeyJavaScript.py
eric6/WebBrowser/GreaseMonkey/GreaseMonkeyJavaScript.py
- changeset 7229
- 53054eb5b15a
- parent 6942
- 2602857055c5
- child 7360
- 9190402e4505
equal
deleted
inserted
replaced
5 |
5 |
6 """ |
6 """ |
7 Module containing some JavaScript resources. |
7 Module containing some JavaScript resources. |
8 """ |
8 """ |
9 |
9 |
10 from __future__ import unicode_literals |
|
11 |
10 |
12 bootstrap_js = """ |
11 bootstrap_js = """ |
13 var GM = { |
12 var GM = { |
14 info: { |
13 info: { |
15 script: { |
14 script: { |