From 0e18e77e7f4efce08da4601c39b76dff3d3ec2a9 Mon Sep 17 00:00:00 2001
From: Simon Giraudot <simon.giraudot@geometryfactory.com>
Date: Wed, 6 Sep 2017 13:49:12 +0200
Subject: [PATCH] Remove pushButton from selection plugin

---
 Polyhedron/demo/Polyhedron/Plugins/PMP/Selection_widget.ui | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/Polyhedron/demo/Polyhedron/Plugins/PMP/Selection_widget.ui b/Polyhedron/demo/Polyhedron/Plugins/PMP/Selection_widget.ui
index c9dd4fec2b2..081d48573ea 100644
--- a/Polyhedron/demo/Polyhedron/Plugins/PMP/Selection_widget.ui
+++ b/Polyhedron/demo/Polyhedron/Plugins/PMP/Selection_widget.ui
@@ -429,13 +429,6 @@
               </property>
              </widget>
             </item>
-            <item>
-             <widget class="QPushButton" name="pushButton">
-              <property name="text">
-               <string>PushButton</string>
-              </property>
-             </widget>
-            </item>
             <item>
              <spacer name="verticalSpacer_8">
               <property name="orientation">