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, |