Commit graph

9 commits

Author SHA1 Message Date
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