Add optional shoreline Motorboats and recommended addon controls

2026-11-07 00:32:01 +01:00
parent a7452f8be6
commit 161100cf08
31 changed files with 624 additions and 56 deletions
@@ -29,7 +29,7 @@ def navigation(source, tokens):
    if (len(members) != len(set(members)) or set(members) != keys.keys()
            or len(set(names)) != len(names)
            or any(not re.fullmatch(r'[A-Za-z][A-Za-z0-9]*', n) for n in names)
-            or any(not 1 <= len(g['pages']) <= 8 for g in groups)):
+            or any(not 1 <= len(g['pages']) <= 9 for g in groups)):
        raise ValueError('Every page must belong to exactly one valid sidebar group')
    for page in pages:
        if not isinstance(page['label'], str) or any(c in page['label'] for c in '\n\r"\\'):