chiark / gitweb /
Fix compatibility with older preferences ini.
authordaid303 <daid303@gmail.com>
Thu, 21 Mar 2013 08:44:42 +0000 (09:44 +0100)
committerdaid303 <daid303@gmail.com>
Thu, 21 Mar 2013 08:44:42 +0000 (09:44 +0100)
Cura/util/profile.py

index 36357eee85882ea72d0c5811464243bfb26f0721..24a74ff755da4b1db4839ea16d3cf4d903f1e500 100644 (file)
@@ -495,17 +495,17 @@ def loadPreferences(filename):
        global settingsList
        for set in settingsList:
                if set.isPreference():
-                       if profileParser.has_option('preferences', set.getName()):
-                               set.setValue(unicode(profileParser.get('preferences', set.getName()), 'utf-8', 'replace'))
+                       if profileParser.has_option('preference', set.getName()):
+                               set.setValue(unicode(profileParser.get('preference', set.getName()), 'utf-8', 'replace'))
 
 def savePreferences(filename):
        #Save the current profile to an ini file
        parser = ConfigParser.ConfigParser()
-       parser.add_section('preferences')
+       parser.add_section('preference')
        global settingsList
        for set in settingsList:
                if set.isPreference():
-                       parser.set('preferences', set.getName(), set.getValue().encode('utf-8'))
+                       parser.set('preference', set.getName(), set.getValue().encode('utf-8'))
        parser.write(open(filename, 'w'))
 
 def getPreference(name):