bruvzg
fd2fba7c2c
Add binary MO translation file support. Add brotli decoder and WOFF2 support.
...
Use smaller .mo files instead of .po, if gettext is available.
Convert editor fonts to .woff2 format.
2022-03-25 19:51:39 +02:00
volzhs
1dc6d47df9
Add Hindi font for editor
2018-08-30 05:11:09 +09:00
Juan Linietsky
8b9b653e76
Merge pull request #18113 from toger5/bold_font
...
added bold font to editor (support for coustom bold font)
2018-05-07 15:54:44 -03:00
toger5
29216b2bad
added bold font to editor (support for coustom bold font)
2018-04-19 22:00:58 +02:00
Hugo Locurcio
93f52813bf
Update Hack font to v3.003
2018-04-11 22:40:58 +02:00
Hugo Locurcio
979c451d07
Update Hack font to version 3.000
2017-12-15 10:25:12 +01:00
Daniel J. Ramirez
52c0550dd7
Changed Mononoki font to Hack font
2017-09-17 13:55:48 -05:00
Daniel J. Ramirez
b17c801ee8
Changed source font to Mononoki.
2017-09-14 01:13:30 -05:00
volzhs
a4a4f6dada
Replace editor font to NotoSans for Latin, Arabic, Hebrew, Thai
2017-08-31 21:49:48 +09:00
volzhs
f031b111dd
Update source code pro font to 2.030
2017-08-31 21:31:46 +09:00
Rémi Verschelde
b87a232668
Reorder the folders in tools to prepare moving tools/editor
...
- `certs` and `editor_fonts` go to `thirdparty`
- `dist` and `scripts` go to a new `misc` folder
- `collada` and `doc` go to `tools/editor`
The next step will be to rename `tools/editor` to `editor` directly,
but this will be done at the right time to avoid breaking too many PRs.
2017-02-09 00:08:27 +01:00