src/eric7/WebBrowser/Tools/WebBrowserTools.py

branch
eric7
changeset 10339
446d22fa1aea
parent 10334
24300d16a154
child 10436
f6881d10e995
equal deleted inserted replaced
10338:7329b8d78f7b 10339:446d22fa1aea
303 @return JQuery source 303 @return JQuery source
304 @rtype str 304 @rtype str
305 """ 305 """
306 jsFileName = os.path.join(WebBrowserDataDirectory["js"], jqName + ".js") 306 jsFileName = os.path.join(WebBrowserDataDirectory["js"], jqName + ".js")
307 if not os.path.exists(jsFileName) and ( 307 if not os.path.exists(jsFileName) and (
308 OSUtilities.isLinuxPlatform() or OSUtilities.isBsdPlatform() 308 OSUtilities.isLinuxPlatform() or OSUtilities.isFreeBsdPlatform()
309 ): 309 ):
310 if jqName == "jquery": 310 if jqName == "jquery":
311 jsFileName = "/usr/share/javascript/jquery/jquery.min.js" 311 jsFileName = "/usr/share/javascript/jquery/jquery.min.js"
312 elif jqName == "jquery-ui": 312 elif jqName == "jquery-ui":
313 jsFileName = "/usr/share/javascript/jquery-ui/jquery-ui.min.js" 313 jsFileName = "/usr/share/javascript/jquery-ui/jquery-ui.min.js"

eric ide

mercurial