From f84c51fed5a08c0303b271341ee75a3b2a28daf9 Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Thu, 11 Jun 2015 15:15:13 +0800 Subject: [PATCH] gui: do not use broken pyqtgraph addLabel method --- artiq/gui/explorer.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/artiq/gui/explorer.py b/artiq/gui/explorer.py index 2e878f507..8f2fbd7c8 100644 --- a/artiq/gui/explorer.py +++ b/artiq/gui/explorer.py @@ -47,12 +47,12 @@ class ExplorerDock(dockarea.Dock): self.priority = QtGui.QSpinBox() self.priority.setRange(-99, 99) - grid.addLabel("Priority:", 1, 2) + grid.addWidget(QtGui.QLabel("Priority:"), 1, 2) grid.addWidget(self.priority, 1, 3) self.pipeline = QtGui.QLineEdit() self.pipeline.insert("main") - grid.addLabel("Pipeline:", 2, 0) + grid.addWidget(QtGui.QLabel("Pipeline:"), 2, 0) grid.addWidget(self.pipeline, 2, 1) self.flush = QtGui.QCheckBox("Flush")