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( |