10 Commits

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