src/eric7/Network/IRC/IrcChannelWidget.py

branch
eric7
changeset 9624
b47dfa7a137d
parent 9576
be9f8e7e42e0
child 9653
e67609152c5e
--- 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"

eric ide

mercurial