Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-05-07 | Merge pull request #18113 from toger5/bold_font | Juan Linietsky | |
added bold font to editor (support for coustom bold font) | |||
2018-04-19 | added bold font to editor (support for coustom bold font) | toger5 | |
2018-04-11 | Update Hack font to v3.003 | Hugo Locurcio | |
2017-12-15 | Update Hack font to version 3.000 | Hugo Locurcio | |
2017-09-17 | Changed Mononoki font to Hack font | Daniel J. Ramirez | |
2017-09-14 | Changed source font to Mononoki. | Daniel J. Ramirez | |
2017-08-31 | Replace editor font to NotoSans for Latin, Arabic, Hebrew, Thai | volzhs | |
2017-08-31 | Update source code pro font to 2.030 | volzhs | |
2017-02-09 | Reorder the folders in tools to prepare moving tools/editor | RĂ©mi Verschelde | |
- `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. |