74 registerWebChannel(); |
74 registerWebChannel(); |
75 |
75 |
76 }})()""" |
76 }})()""" |
77 |
77 |
78 from WebBrowser.WebBrowserPage import WebBrowserPage |
78 from WebBrowser.WebBrowserPage import WebBrowserPage |
79 if worldId == WebBrowserPage.SafeJsWorld: |
79 match = ( |
80 match = "// @exclude eric:*" |
80 "// @exclude eric:*" |
81 else: |
81 if worldId == WebBrowserPage.SafeJsWorld else |
82 match = "// @include eric:*" |
82 "// @include eric:*" |
|
83 ) |
83 return source.format(match, getJavascript("qwebchannel.js")) |
84 return source.format(match, getJavascript("qwebchannel.js")) |
84 |
85 |
85 |
86 |
86 def setupWindowObject(): |
87 def setupWindowObject(): |
87 """ |
88 """ |