--- a/src/eric7/Preferences/ConfigurationPages/NetworkPage.py Thu May 25 11:12:05 2023 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/NetworkPage.py Thu May 25 19:51:47 2023 +0200 @@ -122,7 +122,7 @@ self.cleanupGroup.hide() self.displayGroup.hide() else: - from eric7.WebBrowser.Download.DownloadManager import ( # __IGNORE_WARNING__ + from eric7.WebBrowser.Download.DownloadManager import ( # noqa DownloadManager, )