Age | Commit message (Expand) | Author |
---|---|---|
2018-08-30 | Add Hindi font for editor | volzhs |
2018-05-07 | Merge pull request #18113 from toger5/bold_font | Juan Linietsky |
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 |