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