File: generate_example_stylesheet.py

package info (click to toggle)
firefox 147.0.2-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 4,683,484 kB
  • sloc: cpp: 7,607,246; javascript: 6,533,185; ansic: 3,775,227; python: 1,415,393; xml: 634,561; asm: 438,951; java: 186,241; sh: 62,752; makefile: 18,079; objc: 13,092; perl: 12,808; yacc: 4,583; cs: 3,846; pascal: 3,448; lex: 1,720; ruby: 1,003; php: 436; lisp: 258; awk: 247; sql: 66; sed: 54; csh: 10; exp: 6
file content (16 lines) | stat: -rw-r--r-- 519 bytes parent folder | download | duplicates (21) 
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)