Fixed an issue in the IRC widget when disconnecting from the server.

Sat, 09 Mar 2013 15:43:46 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sat, 09 Mar 2013 15:43:46 +0100
changeset 2469
20d2166280bb
parent 2460
61186eb662fd
child 2470
206ff86e34c8

Fixed an issue in the IRC widget when disconnecting from the server.

Network/IRC/IrcWidget.py file | annotate | diff | comparison | revisions
--- a/Network/IRC/IrcWidget.py	Sun Mar 03 13:03:53 2013 +0100
+++ b/Network/IRC/IrcWidget.py	Sat Mar 09 15:43:46 2013 +0100
@@ -359,6 +359,11 @@
             self.channelsWidget.removeTab(self.channelsWidget.indexOf(channel))
             channel.deleteLater()
             channel = None
+        
+        self.channelsWidget.addTab(self.__emptyLabel, "")
+        self.__emptyLabel.show()
+        self.__leaveButton.setEnabled(False)
+        self.channelsWidget.setTabsClosable(False)
     
     def __closeChannel(self, name):
         """

eric ide

mercurial