Merge branch 'bleed'

This commit is contained in:
chrys 2018-10-24 23:55:07 +02:00
commit a0134fb23e

View File

@ -232,8 +232,8 @@ class settingsManager():
if len(optionElem.split('#',1)[1].split('=',1)) != 2: if len(optionElem.split('#',1)[1].split('=',1)) != 2:
continue continue
section = str(optionElem.split('#',1)[0]).lower() section = str(optionElem.split('#',1)[0])
option = str(optionElem.split('#',1)[1].split('=',1)[0]).lower() option = str(optionElem.split('#',1)[1].split('=',1)[0])
value = optionElem.split('#',1)[1].split('=',1)[1] value = optionElem.split('#',1)[1].split('=',1)[1]
self.setOptionArgDict(section, option, value) self.setOptionArgDict(section, option, value)