Remove unused value for extra_margin

Since the else clause below now raises an exception and all its if clauses define extra_margin, this initial value is now unused.

Contributes to issue CURA-2407.
This commit is contained in:
Ghostkeeper 2016-09-27 16:58:14 +02:00
parent 6783b4b3ef
commit dc80d50eb5
No known key found for this signature in database
GPG key ID: 701948C5954A7385

View file

@ -231,7 +231,6 @@ class ConvexHullDecorator(SceneNodeDecorator):
# Compensate for raft/skirt/brim # Compensate for raft/skirt/brim
# Add extra margin depending on adhesion type # Add extra margin depending on adhesion type
adhesion_type = self._global_stack.getProperty("adhesion_type", "value") adhesion_type = self._global_stack.getProperty("adhesion_type", "value")
extra_margin = 0
if adhesion_type == "raft": if adhesion_type == "raft":
extra_margin = max(0, self._getSettingProperty("raft_margin", "value")) extra_margin = max(0, self._getSettingProperty("raft_margin", "value"))