--- a/eric7/Network/IRC/IrcChannelWidget.py Sun Sep 26 20:21:35 2021 +0200 +++ b/eric7/Network/IRC/IrcChannelWidget.py Mon Sep 27 10:50:18 2021 +0200 @@ -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()