From 7bebc529598e221c0a345b93d5dae6a9bee5d2f0 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Tue, 17 Nov 2015 22:38:01 +0800
Subject: [PATCH] gui/explorer: reduce impact of Qt selection display bug

---
 artiq/gui/explorer.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/artiq/gui/explorer.py b/artiq/gui/explorer.py
index 3e82ad890..71ebcf5bc 100644
--- a/artiq/gui/explorer.py
+++ b/artiq/gui/explorer.py
@@ -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)