gui: make spacing more consistent

Change-Id: I5bb44c440b33cb0b5de0f5e2457c9226afe74a50
Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/30489
Tested-by: Jenkins Automated Tests <pedersen+jenkins@frm2.tum.de>
Reviewed-by: Alexander Zaft <a.zaft@fz-juelich.de>
Reviewed-by: Georg Brandl <g.brandl@fz-juelich.de>
This commit is contained in:
Georg Brandl
2023-02-21 16:45:36 +01:00
committed by Georg Brandl
parent d641784104
commit 318f33961a
4 changed files with 37 additions and 15 deletions

View File

@@ -161,13 +161,15 @@ class NodeWidget(QWidget):
def _initNodeInfo(self):
self.tree = ModuleOverview(self._node)
infolayout = QVBoxLayout()
infolayout.setContentsMargins(0, 0, 0, 0)
infolayout.addWidget(self.tree)
self.infotree.setLayout(infolayout)
# disabled until i find a way to deselect and go back to overview
self.tree.itemChanged.connect(self.changeViewContent)
self.tree.customContextMenuRequested.connect(self._treeContextMenu)
self._description = QPlainTextEdit(self._node.properties.get('description','no description available'))
self._description = QPlainTextEdit(
self._node.properties.get('description','no description available'))
self._description_label = QLabel('Description:')
self._description.setReadOnly(True)
self._host = QLabel(self._node.conn.uri)