Commit Graph

109 Commits

Author SHA1 Message Date
Rémi Verschelde bd282ff43f Use HTTPS URL for Godot's website in the headers 2017-08-27 14:16:55 +02:00
Rémi Verschelde 81dde2687f Merge pull request #10164 from djrm/pr_theme_fixes
Visual polishing
2017-08-10 10:46:05 +02:00
Daniel J. Ramirez 273d2ab9d4 Several ui improvements (mostly margins)
Improved colors

Added some missing icons
2017-08-08 11:44:37 -05:00
Juan Linietsky f6ad0ccc63 -Errors are printed again to Output, after a long time. Fixes #3373 2017-08-07 22:51:30 -03:00
Indah Sylvia 5ae78fdf6a Makes all Godot API's methods Lower Case 2017-08-07 18:24:35 +07:00
volzhs bb81293047 New customizable editor theme 2017-05-09 17:46:54 +09: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