src/eric7/WebBrowser/Tools/WebBrowserTools.py

branch
eric7
changeset 10334
24300d16a154
parent 9672
335f695d59e7
child 10339
446d22fa1aea
--- a/src/eric7/WebBrowser/Tools/WebBrowserTools.py	Wed Nov 22 19:42:41 2023 +0100
+++ b/src/eric7/WebBrowser/Tools/WebBrowserTools.py	Thu Nov 23 16:23:37 2023 +0100
@@ -304,7 +304,9 @@
     @rtype str
     """
     jsFileName = os.path.join(WebBrowserDataDirectory["js"], jqName + ".js")
-    if not os.path.exists(jsFileName) and OSUtilities.isLinuxPlatform():
+    if not os.path.exists(jsFileName) and (
+        OSUtilities.isLinuxPlatform() or OSUtilities.isBsdPlatform()
+    ):
         if jqName == "jquery":
             jsFileName = "/usr/share/javascript/jquery/jquery.min.js"
         elif jqName == "jquery-ui":

eric ide

mercurial