submulti

2017-12-30 18:31:56 +01:00
parent c086f6dc0f
commit 16a160340c
9 changed files with 745 additions and 23 deletions
--- a/tiramisu/setting.py
+++ b/tiramisu/setting.py
@ -612,6 +612,16 @@ class Settings(object):
                           config_bag,
                           force=True)

+    def popproperty(self,
+                    path,
+                    property_,
+                    config_bag):
+        props = config_bag.option.impl_getproperties()
+        self.setproperties(path,
+                           props - {property_},
+                           config_bag,
+                           force=True)
+
    def set_context_permissive(self, permissive):
        self.setpermissive(None, None, permissive)