--- a/src/eric7/Network/IRC/IrcChannelWidget.py Sun Dec 18 14:19:10 2022 +0100 +++ b/src/eric7/Network/IRC/IrcChannelWidget.py Sun Dec 18 19:33:46 2022 +0100 @@ -35,6 +35,7 @@ from eric7.EricGui import EricPixmapCache from eric7.EricWidgets import EricFileDialog, EricMessageBox from eric7.EricWidgets.EricApplication import ericApp +from eric7.SystemUtilities import OSUtilities from eric7.UI.Info import Copyright, Version from .IrcUtilities import getChannelModesDict, ircFilter, ircTimestamp @@ -1399,7 +1400,7 @@ """ hasText = not self.messages.document().isEmpty() if hasText: - if Utilities.isWindowsPlatform(): + if OSUtilities.isWindowsPlatform(): htmlExtension = "htm" else: htmlExtension = "html"