From e3553ed5c7288768f8063d881f6fe1af17b8b7d0 Mon Sep 17 00:00:00 2001
From: vsv <vitaly.smetannikov@opencascade.com>
Date: Thu, 11 Jun 2015 17:30:06 +0300
Subject: [PATCH] Hide source body on extrusion cut

---
 src/FeaturesPlugin/extrusioncut_widget.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/FeaturesPlugin/extrusioncut_widget.xml b/src/FeaturesPlugin/extrusioncut_widget.xml
index 6a974761f..aa168a1d2 100755
--- a/src/FeaturesPlugin/extrusioncut_widget.xml
+++ b/src/FeaturesPlugin/extrusioncut_widget.xml
@@ -42,6 +42,7 @@
     label="Cut from:"
     icon=":icons/cut_shape.png"
     tooltip="Objects to Cut"
-    type_choice="Solids">
+    type_choice="Solids"
+    concealment="true">
   </multi_selector>
 </source>
-- 
2.39.2