eric6/WebBrowser/GreaseMonkey/GreaseMonkeyJavaScript.py

changeset 7229
53054eb5b15a
parent 6942
2602857055c5
child 7360
9190402e4505
equal deleted inserted replaced
7228:6037ddba57aa 7229:53054eb5b15a
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: {

eric ide

mercurial