Overview
| Comment: | [build] bookmark display update |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | build | rg |
| Files: | files | file ages | folders |
| SHA3-256: |
55569dd99960f23d760252219aa11bf4 |
| User & Date: | olr on 2018-06-25 07:24:07 |
| Other Links: | branch diff | manifest | tags |
Context
|
2018-06-25
| ||
| 08:33 | [fr] bookmark update check-in: d9e767938c user: olr tags: fr, rg | |
| 07:24 | [build] bookmark display update check-in: 55569dd999 user: olr tags: build, rg | |
| 07:20 | [fr] ajout de !! à la fin des bookmarks pour éviter la suppression automatique des espaces en fin de ligne check-in: c8714ac3a1 user: olr tags: fr, rg | |
Changes
Modified compile_rules.py from [ac174b0844] to [45224279a8].
| ︙ | ︙ | |||
482 483 484 485 486 487 488 |
# options
lOpt.append(sLine)
elif sLine.startswith("!!"):
# bookmark
m = re.match("!!+", sLine)
nExMk = len(m.group(0))
if sLine[nExMk:].strip():
| | | | 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 |
# options
lOpt.append(sLine)
elif sLine.startswith("!!"):
# bookmark
m = re.match("!!+", sLine)
nExMk = len(m.group(0))
if sLine[nExMk:].strip():
printBookmark(nExMk-2, sLine[nExMk:-3].strip(), i)
# Graph rules
elif sLine.startswith("@@@@GRAPH:"):
# rules graph call
m = re.match(r"@@@@GRAPH: *(\w+)", sLine.strip())
if m:
printBookmark(1, "____ GRAPH: " + m.group(1) + " ____", i)
lRuleLine.append([i, "@@@@"+m.group(1)])
bGraph = True
lGraphRule.append([i, sLine])
bGraph = True
elif sLine.startswith("@@@@END_GRAPH"):
#lGraphRule.append([i, sLine])
bGraph = False
|
| ︙ | ︙ |