e6b3cbe7c1
Also, fix the python dict keys so we actually get the metrics back into the javascript correctly. Fixes #56 Auditors: alpert
62 lines
1.5 KiB
Python
Executable File
62 lines
1.5 KiB
Python
Executable File
#!/usr/bin/env python
|
|
|
|
import fontforge
|
|
import sys
|
|
import json
|
|
|
|
metrics_to_extract = {
|
|
"Main-Regular": [
|
|
u"\u2260", # \neq
|
|
u"\u2245", # \cong
|
|
u"\u0020", # space
|
|
u"\u00a0", # nbsp
|
|
u"\u2026", # \ldots
|
|
u"\u22ef", # \cdots
|
|
u"\u22f1", # \ddots
|
|
u"\u22ee", # \vdots
|
|
],
|
|
"Size1-Regular": [
|
|
u"\u222c", # \iint
|
|
u"\u222d", # \iiint
|
|
],
|
|
"Size2-Regular": [
|
|
u"\u222c", # \iint
|
|
u"\u222d", # \iiint
|
|
]
|
|
}
|
|
|
|
|
|
def main():
|
|
start_json = json.load(sys.stdin)
|
|
|
|
for font, chars in metrics_to_extract.iteritems():
|
|
fontInfo = fontforge.open("../static/fonts/KaTeX_" + font + ".ttf")
|
|
|
|
for glyph in fontInfo.glyphs():
|
|
try:
|
|
char = unichr(glyph.unicode)
|
|
except ValueError:
|
|
continue
|
|
|
|
if char in chars:
|
|
_, depth, _, height = glyph.boundingBox()
|
|
|
|
depth = -depth
|
|
|
|
# TODO(emily): Figure out a real way to calculate this
|
|
italic = 0
|
|
skew = 0
|
|
|
|
start_json[font][ord(char)] = {
|
|
"height": height / fontInfo.em,
|
|
"depth": depth / fontInfo.em,
|
|
"italic": italic / fontInfo.em,
|
|
"skew": skew / fontInfo.em,
|
|
}
|
|
|
|
sys.stdout.write(
|
|
json.dumps(start_json, separators=(',', ':'), sort_keys=True))
|
|
|
|
if __name__ == "__main__":
|
|
main()
|