--- a/src/eric7/Network/IRC/IrcNetworkWidget.py Sun Dec 18 14:19:10 2022 +0100 +++ b/src/eric7/Network/IRC/IrcNetworkWidget.py Sun Dec 18 19:33:46 2022 +0100 @@ -13,10 +13,11 @@ from PyQt6.QtGui import QDesktopServices from PyQt6.QtWidgets import QApplication, QMenu, QWidget -from eric7 import Preferences, Utilities +from eric7 import Preferences from eric7.EricGui import EricPixmapCache from eric7.EricWidgets import EricFileDialog, EricMessageBox from eric7.EricWidgets.EricApplication import ericApp +from eric7.SystemUtilities import OSUtilities from .IrcUtilities import ircFilter, ircTimestamp from .Ui_IrcNetworkWidget import Ui_IrcNetworkWidget @@ -405,7 +406,7 @@ """ hasText = not self.messages.document().isEmpty() if hasText: - if Utilities.isWindowsPlatform(): + if OSUtilities.isWindowsPlatform(): htmlExtension = "htm" else: htmlExtension = "html"