eric6/Network/IRC/IrcChannelWidget.py

branch
eric6
changeset 8758
c3f57225c305
parent 8426
631ea6dc71de
equal deleted inserted replaced
8742:f27e0226becd 8758:c3f57225c305
259 self.editTopicButton.setIcon( 259 self.editTopicButton.setIcon(
260 UI.PixmapCache.getIcon("ircEditTopic")) 260 UI.PixmapCache.getIcon("ircEditTopic"))
261 self.editTopicButton.hide() 261 self.editTopicButton.hide()
262 262
263 height = self.usersList.height() + self.messages.height() 263 height = self.usersList.height() + self.messages.height()
264 self.splitter.setSizes([height * 0.3, height * 0.7]) 264 self.splitter.setSizes([int(height * 0.3), int(height * 0.7)])
265 265
266 self.__initMessagesMenu() 266 self.__initMessagesMenu()
267 self.__initUsersMenu() 267 self.__initUsersMenu()
268 268
269 self.__name = "" 269 self.__name = ""

eric ide

mercurial