Hide source body on extrusion cut

diff --git a/src/FeaturesPlugin/extrusioncut_widget.xml b/src/FeaturesPlugin/extrusioncut_widget.xml
index 6a974761f1503fadbaedb85398328899bb2c51d9..aa168a1d2e179cf463e1d75aa97ffca2bb799c68 100755 (executable)
--- 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>