Rename 'attribute' to 'property_name'

This commit is contained in:
Thomas Karl Pietrowski 2016-06-12 15:49:13 +02:00 committed by GitHub
parent c38e31f0e3
commit bf1cb8ae52

View File

@ -51,8 +51,8 @@ class SettingOverrideDecorator(SceneNodeDecorator):
def getActiveExtruder(self): def getActiveExtruder(self):
return self._extruder_stack return self._extruder_stack
def _onSettingChanged(self, instance, attribute): # Reminder: 'property' is a built-in function def _onSettingChanged(self, instance, property_name): # Reminder: 'property' is a built-in function
if attribute == "value": # Only reslice if the value has changed. if property_name == "value": # Only reslice if the value has changed.
Application.getInstance().getBackend().forceSlice() Application.getInstance().getBackend().forceSlice()
## Makes sure that the stack upon which the container stack is placed is ## Makes sure that the stack upon which the container stack is placed is