src/eric7/WebBrowser/Tools/WebBrowserTools.py

branch
eric7
changeset 10339
446d22fa1aea
parent 10334
24300d16a154
child 10436
f6881d10e995
--- a/src/eric7/WebBrowser/Tools/WebBrowserTools.py	Fri Nov 24 12:06:59 2023 +0100
+++ b/src/eric7/WebBrowser/Tools/WebBrowserTools.py	Fri Nov 24 12:11:49 2023 +0100
@@ -305,7 +305,7 @@
     """
     jsFileName = os.path.join(WebBrowserDataDirectory["js"], jqName + ".js")
     if not os.path.exists(jsFileName) and (
-        OSUtilities.isLinuxPlatform() or OSUtilities.isBsdPlatform()
+        OSUtilities.isLinuxPlatform() or OSUtilities.isFreeBsdPlatform()
     ):
         if jqName == "jquery":
             jsFileName = "/usr/share/javascript/jquery/jquery.min.js"

eric ide

mercurial