431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
|
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
|
-
+
|
elif sLine.startswith("OPTCOLORTHEME:"):
lOptColor = [ [s, {}] for s in sLine[14:].strip().split() ] # don’t use tuples (s, {}), because unknown to JS
elif sLine.startswith("OPTCOLOR/"):
m = re.match("OPTCOLOR/([a-z0-9]+):(.+)$", sLine)
for i, sColor in enumerate(m.group(2).split()):
lOptColor[i][1][m.group(1)] = sColor
elif sLine.startswith("COLOR/"):
m = re.match("COLOR/([a-z0-9]+):(.+)$", sLine)
m = re.match("COLOR/([a-zA-Z0-9_]+):(.+)$", sLine)
dColor[m.group(1)] = [ int(s) for s in m.group(2).strip().split(",") ]
elif sLine.startswith("OPTPRIORITY/"):
m = re.match("OPTPRIORITY/([a-z0-9]+): *([0-9])$", sLine)
dOptPriority[m.group(1)] = int(m.group(2))
elif sLine.startswith("OPTLANG/"):
m = re.match("OPTLANG/([a-z][a-z](?:_[A-Z][A-Z]|)):(.+)$", sLine)
sLang = m.group(1)[:2]
|