patrick/KaTeX
1
0
Fork 0
mirror of https://github.com/Smaug123/KaTeX synced 2025-10-06 11:48:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Generate fontMetricsData as JavaScript

Browse Source
This commit is contained in:
Blai Pratdesaba
2015-08-05 19:52:42 +01:00
parent b2d2df9bef
commit 8cd71830c2
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
metrics/format_json.py
View File

@@ -4,7 +4,7 @@ import sys
import json
data = json.load(sys.stdin)
sep = "{\n"
sep = "module.exports = {\n"
for font in sorted(data):
sys.stdout.write(sep + json.dumps(font))
sep = ": {\n "