src/eric7/Network/IRC/IrcChannelWidget.py

branch
eric7
changeset 9624
b47dfa7a137d
parent 9576
be9f8e7e42e0
child 9653
e67609152c5e
equal deleted inserted replaced
9623:9c1f429cb56b 9624:b47dfa7a137d
33 33
34 from eric7 import Preferences, Utilities 34 from eric7 import Preferences, Utilities
35 from eric7.EricGui import EricPixmapCache 35 from eric7.EricGui import EricPixmapCache
36 from eric7.EricWidgets import EricFileDialog, EricMessageBox 36 from eric7.EricWidgets import EricFileDialog, EricMessageBox
37 from eric7.EricWidgets.EricApplication import ericApp 37 from eric7.EricWidgets.EricApplication import ericApp
38 from eric7.SystemUtilities import OSUtilities
38 from eric7.UI.Info import Copyright, Version 39 from eric7.UI.Info import Copyright, Version
39 40
40 from .IrcUtilities import getChannelModesDict, ircFilter, ircTimestamp 41 from .IrcUtilities import getChannelModesDict, ircFilter, ircTimestamp
41 from .Ui_IrcChannelWidget import Ui_IrcChannelWidget 42 from .Ui_IrcChannelWidget import Ui_IrcChannelWidget
42 43
1397 """ 1398 """
1398 Private slot to save the contents of the messages display. 1399 Private slot to save the contents of the messages display.
1399 """ 1400 """
1400 hasText = not self.messages.document().isEmpty() 1401 hasText = not self.messages.document().isEmpty()
1401 if hasText: 1402 if hasText:
1402 if Utilities.isWindowsPlatform(): 1403 if OSUtilities.isWindowsPlatform():
1403 htmlExtension = "htm" 1404 htmlExtension = "htm"
1404 else: 1405 else:
1405 htmlExtension = "html" 1406 htmlExtension = "html"
1406 fname, selectedFilter = EricFileDialog.getSaveFileNameAndFilter( 1407 fname, selectedFilter = EricFileDialog.getSaveFileNameAndFilter(
1407 self, 1408 self,

eric ide

mercurial