Cooperation/ChatWidget.py

changeset 1131
7781e396c903
parent 945
8cd4d08fa9f6
child 1221
291dc0a51947
equal deleted inserted replaced
1130:3e9f0330f833 1131:7781e396c903
52 Constructor 52 Constructor
53 53
54 @param port port to be used for the cooperation server (integer) 54 @param port port to be used for the cooperation server (integer)
55 @param parent reference to the parent widget (QWidget) 55 @param parent reference to the parent widget (QWidget)
56 """ 56 """
57 QWidget.__init__(self, parent) 57 super().__init__(parent)
58 self.setupUi(self) 58 self.setupUi(self)
59 59
60 self.shareButton.setIcon( 60 self.shareButton.setIcon(
61 UI.PixmapCache.getIcon("sharedEditDisconnected.png")) 61 UI.PixmapCache.getIcon("sharedEditDisconnected.png"))
62 self.startEditButton.setIcon( 62 self.startEditButton.setIcon(

eric ide

mercurial