mirror of https://github.com/m-labs/artiq.git
gui: do not use broken pyqtgraph addLabel method
This commit is contained in:
parent
92999d0cc0
commit
f84c51fed5
|
@ -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")
|
||||
|
|
Loading…
Reference in New Issue