| 17 | |
| 18 | |
| 19 | class RunningServerHeaderCardWidget(HeaderCardWidget): |
| 20 | def __init__(self, serverName: str, serverConsole: ServerWindow, parent=None): |
| 21 | super().__init__(parent) |
| 22 | self.setTitle(serverName) |
| 23 | self.headerView.setFixedHeight(44) |
| 24 | sizePolicy = QSizePolicy(QSizePolicy.Expanding, QSizePolicy.Fixed) |
| 25 | self.setSizePolicy(sizePolicy) |
| 26 | self.setMinimumSize(QSize(200, 135)) |
| 27 | self.setMaximumSize(QSize(16777215, 135)) |
| 28 | |
| 29 | self.name = serverName |
| 30 | self.console = serverConsole |
| 31 | |
| 32 | self.viewLayout.addWidget(_RunningServerCommandBar(self)) |
| 33 | |
| 34 | @property |
| 35 | def itSelf(self): |
| 36 | return self |
| 37 | |
| 38 | |
| 39 | class _RunningServerCommandBar(CommandBar): |