--- a/eric6/Network/IRC/IrcChannelWidget.py Mon Nov 01 09:29:46 2021 +0100 +++ b/eric6/Network/IRC/IrcChannelWidget.py Wed Nov 03 19:17:00 2021 +0100 @@ -261,7 +261,7 @@ self.editTopicButton.hide() height = self.usersList.height() + self.messages.height() - self.splitter.setSizes([height * 0.3, height * 0.7]) + self.splitter.setSizes([int(height * 0.3), int(height * 0.7)]) self.__initMessagesMenu() self.__initUsersMenu()