Age | Commit message (Expand) | Author |
2017-10-02 | Merge pull request #11646 from djrm/pr_visual_improvements | Poommetee Ketson |
2017-09-29 | EditorSettings: Move interface/ properties to interface/editor | Andreas Haas |
2017-09-28 | Several visual improvements. | Daniel J. Ramirez |
2017-09-25 | Add font size setting for output panel | volzhs |
2017-09-20 | Merge pull request #11309 from djrm/pr_hack_font | Rémi Verschelde |
2017-09-17 | Implements rulers | Gilles Roudiere |
2017-09-17 | Changed Mononoki font to Hack font | Daniel J. Ramirez |
2017-09-14 | Changed source font to Mononoki. | Daniel J. Ramirez |
2017-09-03 | Fixed some metrics (some issues caused by the new Noto Sans font). | Daniel J. Ramirez |
2017-08-31 | Replace editor font to NotoSans for Latin, Arabic, Hebrew, Thai | volzhs |
2017-08-27 | Use HTTPS URL for Godot's website in the headers | Rémi Verschelde |
2017-06-25 | BuildSystem: generated files have .gen.extension | Poommetee Ketson |
2017-06-04 | renamed all Rect2.pos to Rect2.position | alexholly |
2017-04-08 | Add "Godot Engine contributors" copyright line | Rémi Verschelde |
2017-03-05 | A Whole New World (clang-format edition) | Rémi Verschelde |
2017-03-05 | Refactoring: rename tools/editor/ to editor/ | Rémi Verschelde |