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)
