def __init__(self, location, default_location=None, is_system_theme=False): RawConfigParser.__init__(self) self.is_system_theme = is_system_theme if default_location is None: default_location = get_config_path("default_theme.ini") try: self.read(default_location) except: pass try: self.read(location) except: pass self.location = location if default_location is None: default_location = get_config_path("default_theme.ini") try: self.read(default_location) except: pass try: self.read(location) except: pass self.location = location
pass # if it doesn'texist we don't care os.rename(self.location + ".new", self.location) try: os.remove(self.location + ".old") except: pass self._saving = False self._dirty = False location = get_config_dir() global_settings = SettingsManager( os.path.join(location, "settings.ini"), get_config_path("settings.ini") ) def get_system_deletes(): deletes = global_settings.get_option("settings/system_deletes") if deletes: return deletes else: return [] def add_system_deletes(keys): deletes = get_system_deletes() if deletes: for key in keys: if not key in deletes: deletes.append(key)