File: generate_example_stylesheet.py

package info (click to toggle)
firefox 149.0-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 4,767,760 kB
  • sloc: cpp: 7,416,064; javascript: 6,752,859; ansic: 3,774,850; python: 1,250,473; xml: 641,578; asm: 439,191; java: 186,617; sh: 56,634; makefile: 18,856; objc: 13,092; perl: 12,763; pascal: 5,960; yacc: 4,583; cs: 3,846; lex: 1,720; ruby: 1,002; php: 436; lisp: 258; awk: 105; sql: 66; sed: 53; csh: 10; exp: 6
file content (16 lines) | stat: -rw-r--r-- 519 bytes parent folder | download | duplicates (23) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
def main(output, stylesheet):
    css = open(stylesheet, "r").read()
    css = (
        css.replace("\\", "\\\\")
        .replace("\r", "\\r")
        .replace("\n", "\\n")
        .replace('"', '\\"')
    )

    # Work around "error C2026: string too big"
    # https://msdn.microsoft.com/en-us/library/dddywwsc.aspx
    chunk_size = 10000
    chunks = ('"%s"' % css[i : i + chunk_size] for i in range(0, len(css), chunk_size))

    header = "#define EXAMPLE_STYLESHEET " + " ".join(chunks)
    output.write(header)