diff --git a/SkeinPyPy/newui/profile.py b/SkeinPyPy/newui/profile.py index 3c1ec2a..5a3e403 100644 --- a/SkeinPyPy/newui/profile.py +++ b/SkeinPyPy/newui/profile.py @@ -69,14 +69,20 @@ def getDefaultProfilePath(): return os.path.normpath(os.path.join(os.path.dirname(os.path.abspath(__file__)), "../current_profile.ini")) def loadGlobalProfile(filename): - "Read a configuration file as global config" + #Read a configuration file as global config global globalProfileParser globalProfileParser = ConfigParser.ConfigParser() globalProfileParser.read(filename) def saveGlobalProfile(filename): + #Save the current profile to an ini file globalProfileParser.write(open(filename, 'w')) +def resetGlobalProfile(): + #Create an empty profile with no settings, so everything gets default settings. + global globalProfileParser + globalProfileParser = ConfigParser.ConfigParser() + def getProfileSetting(name): if name in profileDefaultSettings: default = profileDefaultSettings[name]