diff options
| author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-03-25 10:54:32 +0200 |
|---|---|---|
| committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-03-25 11:45:55 +0200 |
| commit | 78051f93a37c560bc231385f21facd71bf206639 (patch) | |
| tree | deee3f38c9a44d84db7d3845e0a8d73df0cc6bd8 /editor/SCsub | |
| parent | 3990152f6b7fcbac39ed68f0cc0fd36131bc9e2f (diff) | |
Convert the editor and default theme fonts to WOFF2 format to save space.
Diffstat (limited to 'editor/SCsub')
| -rw-r--r-- | editor/SCsub | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editor/SCsub b/editor/SCsub index 35c215b663..5dcc253e8b 100644 --- a/editor/SCsub +++ b/editor/SCsub @@ -99,6 +99,8 @@ if env["tools"]: # Fonts flist = glob.glob(env.Dir("#thirdparty").abspath + "/fonts/*.ttf") flist.extend(glob.glob(env.Dir("#thirdparty").abspath + "/fonts/*.otf")) + flist.extend(glob.glob(env.Dir("#thirdparty").abspath + "/fonts/*.woff")) + flist.extend(glob.glob(env.Dir("#thirdparty").abspath + "/fonts/*.woff2")) flist.sort() env.Depends("#editor/builtin_fonts.gen.h", flist) env.CommandNoCache( |