gui: do not use broken pyqtgraph addLabel method

sbourdeauducq · sbourdeauducq · commit f84c51fed5a0 · 2015-06-11T15:15:13.000+08:00
diff --git a/artiq/gui/explorer.py b/artiq/gui/explorer.py
@@ -47,12 +47,12 @@ def __init__(self, status_bar, schedule_ctl):
 
         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")
