--- a/src/eric7/WebBrowser/GreaseMonkey/GreaseMonkeyDownloader.py Sun Nov 06 11:22:39 2022 +0100 +++ b/src/eric7/WebBrowser/GreaseMonkey/GreaseMonkeyDownloader.py Mon Nov 07 17:19:58 2022 +0100 @@ -13,6 +13,7 @@ from PyQt6.QtCore import QObject, QSettings, pyqtSignal, pyqtSlot from PyQt6.QtNetwork import QNetworkReply, QNetworkRequest +from eric7.WebBrowser.Tools import WebBrowserTools from eric7.WebBrowser.WebBrowserWindow import WebBrowserWindow @@ -82,8 +83,6 @@ return if not self.__fileName: - from eric7.WebBrowser.Tools import WebBrowserTools - filePath = os.path.join( self.__manager.scriptsDirectory(), WebBrowserTools.getFileNameFromUrl(self.__reply.url()), @@ -132,8 +131,6 @@ elif not name.endswith(".js"): name += ".js" filePath = os.path.join(self.__manager.requireScriptsDirectory(), name) - from eric7.WebBrowser.Tools import WebBrowserTools - self.__fileName = WebBrowserTools.ensureUniqueFilename(filePath, "{0}") if not pathlib.Path(self.__fileName).is_absolute(): self.__fileName = os.path.join(