eric6/WebBrowser/Tools/Scripts.py

changeset 8260
2161475d9639
parent 8143
2c730d5fd177
equal deleted inserted replaced
8259:2bbec88047dd 8260:2161475d9639
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 """

eric ide

mercurial