Merge pull request #548 from pypeclub/feature/grid_label_tweaks

Grid label tweaks in settings GUI
This commit is contained in:
Milan Kolar 2020-09-23 14:18:02 +02:00 committed by GitHub
commit 5ed5cd1d04
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -265,10 +265,11 @@ class GridLabelWidget(QtWidgets.QWidget):
self.properties = {}
layout = QtWidgets.QVBoxLayout(self)
layout.setContentsMargins(0, 0, 0, 0)
layout.setContentsMargins(0, 2, 0, 0)
layout.setSpacing(0)
label_proxy = QtWidgets.QWidget(self)
label_proxy_layout = QtWidgets.QHBoxLayout(label_proxy)
label_proxy_layout.setContentsMargins(0, 0, 0, 0)
label_proxy_layout.setSpacing(0)
@ -287,6 +288,9 @@ class GridLabelWidget(QtWidgets.QWidget):
layout.addWidget(label_proxy, 0)
layout.addWidget(spacer_widget_v, 1)
label_proxy.setAttribute(QtCore.Qt.WA_TranslucentBackground)
label_widget.setAttribute(QtCore.Qt.WA_TranslucentBackground)
self.label_widget = label_widget
def setProperty(self, name, value):