Added UI page pocket extension; changed selection agent.

This commit is contained in:
markus
2018-08-24 17:43:34 -07:00
committed by wmayer
parent 4c04933fd7
commit 756f316831
7 changed files with 435 additions and 22 deletions

View File

@@ -53,6 +53,9 @@ def translate(context, text, disambig=None):
class ObjectPocket(PathPocketBase.ObjectPocket):
'''Proxy object for Pocket operation.'''
def areaOpFeatures(self, obj):
return super(self.__class__, self).areaOpFeatures(obj) | PathOp.FeatureLocations
def initPocketOp(self, obj):
'''initPocketOp(obj) ... setup receiver'''
obj.addProperty("App::PropertyBool", "UseOutline", "Pocket", QtCore.QT_TRANSLATE_NOOP("App::Property", "Uses the outline of the base geometry."))