From c63afae875cf3b4ae22756579f61f0f50bf2d0cd Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Mon, 15 Feb 2016 00:57:15 +0100
Subject: [PATCH] gui/moninj: add scrollbars

---
 artiq/gui/moninj.py | 21 +++++++++++----------
 1 file changed, 11 insertions(+), 10 deletions(-)

diff --git a/artiq/gui/moninj.py b/artiq/gui/moninj.py
index 2d499c2d9..9e5d0a733 100644
--- a/artiq/gui/moninj.py
+++ b/artiq/gui/moninj.py
@@ -219,19 +219,20 @@ class _MonInjDock(QtWidgets.QDockWidget):
         self.setFeatures(QtWidgets.QDockWidget.DockWidgetMovable |
                          QtWidgets.QDockWidget.DockWidgetFloatable)
 
-        self.grid = QtWidgets.QGridLayout()
-        gridw = QtWidgets.QWidget()
-        gridw.setLayout(self.grid)
-        self.setWidget(gridw)
 
     def layout_widgets(self, widgets):
-        w = self.grid.itemAt(0)
-        while w is not None:
-            self.grid.removeItem(w)
-            w = self.grid.itemAt(0)
+        scroll_area = QtWidgets.QScrollArea()
+        self.setWidget(scroll_area)
+
+        grid = QtWidgets.QGridLayout()
+        grid_widget = QtWidgets.QWidget()
+        grid_widget.setLayout(grid)
+
         for i, (_, w) in enumerate(sorted(widgets, key=itemgetter(0))):
-            self.grid.addWidget(w, i // 4, i % 4)
-            self.grid.setColumnStretch(i % 4, 1)
+            grid.addWidget(w, i // 4, i % 4)
+            grid.setColumnStretch(i % 4, 1)
+
+        scroll_area.setWidget(grid_widget)
 
 
 class MonInj(TaskObject):