mirror of https://github.com/m-labs/artiq.git
gui/explorer: reduce impact of Qt selection display bug
This commit is contained in:
parent
250ab6b489
commit
7bebc52959
|
@ -229,6 +229,7 @@ class ExplorerDock(dockarea.Dock):
|
|||
|
||||
self.el = QtGui.QTreeView()
|
||||
self.el.setHeaderHidden(True)
|
||||
self.el.setSelectionBehavior(QtGui.QAbstractItemView.SelectItems)
|
||||
self.el.selectionChanged = self._selection_changed
|
||||
self.selected_key = None
|
||||
grid.addWidget(self.el, 0, 0, colspan=4)
|
||||
|
|
Loading…
Reference in New Issue