eric7/Network/IRC/IrcChannelWidget.py

branch
eric7
changeset 8647
cdbce48aded8
parent 8425
63cc81d35ddc
child 8881
54e42bc2437a
equal deleted inserted replaced
8646:4b84216fc8e2 8647:cdbce48aded8
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