diff --git a/src/Mod/Path/Gui/Resources/panels/PageOpPocketExtEdit.ui b/src/Mod/Path/Gui/Resources/panels/PageOpPocketExtEdit.ui index 0239c43b32..6d5f877b0e 100644 --- a/src/Mod/Path/Gui/Resources/panels/PageOpPocketExtEdit.ui +++ b/src/Mod/Path/Gui/Resources/panels/PageOpPocketExtEdit.ui @@ -32,6 +32,9 @@ + + <html><head/><body><p>Set the extent of the dimension -the default value is half the tool diameter.</p></body></html> + -999999999.000000000000000 @@ -42,6 +45,9 @@ + + <html><head/><body><p>Extend the corner between two edges of a pocket. If selected adjacent edges are combined.</p></body></html> + Extend Corners @@ -52,6 +58,9 @@ + + <html><head/><body><p>If selected all potential extensions are visualised. Enabled extensions in purple and not enabled extensions in yellow.</p></body></html> + Show All @@ -62,6 +71,9 @@ + + <html><head/><body><p>Tree of existing edges and their potential extensions.</p></body></html> + QAbstractItemView::NoEditTriggers @@ -84,6 +96,9 @@ + + <html><head/><body><p>Enable the currently selected pocket extension.</p></body></html> + Enable @@ -91,6 +106,9 @@ + + <html><head/><body><p>Diisable the currently selected pocket extension.</p></body></html> + Disable @@ -98,6 +116,9 @@ + + <html><head/><body><p>Remove all currently enabled extensions - leaving the plain pocket operation.</p></body></html> + Clear