From 6e3fd591f754ad3e0d537af47691724b49a7c4fe Mon Sep 17 00:00:00 2001
From: Yann Sionneau <ys@m-labs.hk>
Date: Tue, 14 Jul 2015 16:59:04 +0200
Subject: [PATCH] gui: remove unnecessary QSplitter

---
 artiq/gui/parameters.py | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/artiq/gui/parameters.py b/artiq/gui/parameters.py
index 8cf8d2f61..86495b6bf 100644
--- a/artiq/gui/parameters.py
+++ b/artiq/gui/parameters.py
@@ -29,10 +29,8 @@ class ParametersDock(dockarea.Dock):
     def __init__(self):
         dockarea.Dock.__init__(self, "Parameters", size=(400, 300))
 
-        splitter = QtGui.QSplitter(QtCore.Qt.Horizontal)
-        self.addWidget(splitter)
         grid = LayoutWidget()
-        splitter.addWidget(grid)
+        self.addWidget(grid)
 
         self.search = QtGui.QLineEdit()
         self.search.setPlaceholderText("search...")