Commit Graph

13 Commits

Author SHA1 Message Date
volzhs 79e506ff52 Add font size setting for output panel 2017-09-25 23:43:35 +09:00
Rémi Verschelde cd2ffdc672 Merge pull request #11309 from djrm/pr_hack_font
Changed Mononoki font to Hack font
2017-09-20 01:30:16 +02:00
Gilles Roudiere 335688ce78 Implements rulers 2017-09-17 23:19:05 +02: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
Daniel J. Ramirez e298f931a6 Fixed some metrics (some issues caused by the new Noto Sans font).
plus other minor fixes
2017-09-03 01:49:31 -05:00
volzhs a4a4f6dada Replace editor font to NotoSans for Latin, Arabic, Hebrew, Thai 2017-08-31 21:49:48 +09:00
Rémi Verschelde bd282ff43f Use HTTPS URL for Godot's website in the headers 2017-08-27 14:16:55 +02:00
Poommetee Ketson e3998528e0 BuildSystem: generated files have .gen.extension 2017-06-25 07:55:01 +07:00
alexholly a3c90b0293 renamed all Rect2.pos to Rect2.position 2017-06-04 02:09:17 +02:00
Rémi Verschelde df61dc4b2b Add "Godot Engine contributors" copyright line 2017-04-08 00:11:42 +02:00
Rémi Verschelde 5dbf1809c6 A Whole New World (clang-format edition)
I can show you the code
Pretty, with proper whitespace
Tell me, coder, now when did
You last write readable code?

I can open your eyes
Make you see your bad indent
Force you to respect the style
The core devs agreed upon

A whole new world
A new fantastic code format
A de facto standard
With some sugar
Enforced with clang-format

A whole new world
A dazzling style we all dreamed of
And when we read it through
It's crystal clear
That now we're in a whole new world of code
2017-03-05 16:44:50 +01:00
Rémi Verschelde 49c065d29c 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.
2017-03-05 14:21:25 +01:00