From 44a0b5308fc8e7bcf8dfcadca0b66a479ea8028e Mon Sep 17 00:00:00 2001 From: Russell Johnson <47639332+Russ4262@users.noreply.github.com> Date: Thu, 17 Feb 2022 22:48:32 -0600 Subject: [PATCH] Path: Convert enable extensions button to checkbox --- .../Resources/panels/PageOpPocketExtEdit.ui | 26 +++---------------- 1 file changed, 3 insertions(+), 23 deletions(-) diff --git a/src/Mod/Path/Gui/Resources/panels/PageOpPocketExtEdit.ui b/src/Mod/Path/Gui/Resources/panels/PageOpPocketExtEdit.ui index 19a00cb96a..5076d0db7e 100644 --- a/src/Mod/Path/Gui/Resources/panels/PageOpPocketExtEdit.ui +++ b/src/Mod/Path/Gui/Resources/panels/PageOpPocketExtEdit.ui @@ -17,40 +17,20 @@ - + - Click to disable Extensions + Enable Extensions true - true - - - - - - - Ignore Edges and Wires - - - true - - - true + false - - - - --- - - -