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" |