1ff942287f
Adjust Noto font metrics
2017-09-04 21:25:08 +09:00
e59bb87fb6
Merge pull request #10690 from volzhs/editor-font
...
Replace default editor font to NotoSansUI
2017-08-31 11:50:44 +02:00
30f4a16cdf
Use Noto fonts for Arabic, Hebrew and Thai
2017-08-29 21:01:31 +09:00
110da7f816
Replace default editor font to NotoSansUI
2017-08-29 17:42:55 +09:00
9d598833d2
Use HTTPS URL for Godot's website in the headers
2017-08-27 14:11:45 +02:00
4a0dc529ce
BuildSystem: generated files have .gen.ext
2017-06-25 20:31:56 +07:00
e9b045d9e5
Add "Godot Engine contributors" copyright line
2017-04-08 00:45:24 +02:00
f8db8a3faa
Bring that Whole New World to the Old Continent too
...
Applies the clang-format style to the 2.1 branch as done for master in
5dbf1809c6
2017-03-19 00:36:26 +01:00
1b0e2b0c39
Refactoring: rename tools/editor/ to editor/
...
The other subfolders of tools/ had already been moved to either
editor/, misc/ or thirdparty/, so the hiding the editor code that
deep was no longer meaningful.
(Manual redo of 49c065d29c
2017-03-18 23:45:45 +01:00
volzhs
Rémi Verschelde
Poommetee Ketson