Commit Graph

25 Commits

Author SHA1 Message Date
Rémi Verschelde 277b24dfb7 Make core/ includes absolute, remove subfolders from include path
This allows more consistency in the manner we include core headers,
where previously there would be a mix of absolute, relative and
include path-dependent includes.
2018-09-12 09:52:22 +02:00
Chaosus 94cf2133d5 Add warning color to output log 2018-08-13 21:52:38 +03:00
Bernhard Liebl 5120690013 Show error icon at "Output" in case of errors 2018-03-11 14:20:32 +01:00
Rémi Verschelde e4213e66b2 Add missing copyright headers and fix formatting
Using `misc/scripts/fix_headers.py` on all Godot files.
Some missing header guards were added, and the header inclusion order
was fixed in the Bullet module.
2018-01-05 01:22:23 +01:00
Rémi Verschelde dc2cc6bc2b
Merge pull request #15186 from GodotExplorer/default-theme
Fix errors with custom theme and custom font in project settings.
2018-01-04 14:50:15 +01:00
Rémi Verschelde 3f28b72f35
Merge pull request #15066 from poke1024/shortcut-clear-output
Add keyboard shortcut for Clear Output
2018-01-03 10:32:26 +01:00
Rémi Verschelde b50a9114b1 Update copyright statements to 2018
Happy new year to the wonderful Godot community!
2018-01-01 14:40:47 +01:00
geequlim bd0a9f4bd6 Fix errors with custom default theme and custom fonts. 2017-12-30 17:30:37 +08:00
Bernhard Liebl 77b4256718 Add keyboard shortcut for Clear Output 2017-12-26 11:41:38 +01:00
Gilles Roudiere 6f185cc9f7 Remove unecessary anchors&margins set causing bad display (sons of containers) 2017-09-27 00:38:28 +02:00
Rémi Verschelde f577efd47e Merge pull request #11424 from groud/control_node_presets
Implements set_margins_preset(...)
2017-09-26 00:11:46 +02:00
volzhs 79e506ff52 Add font size setting for output panel 2017-09-25 23:43:35 +09:00
Gilles Roudiere 05bb8e0c10 Remove set_area_as_parent_rect and replace it by set_anchors_and_margins_preset(PRESET_WIDE) 2017-09-22 11:39:44 +02:00
Daniel J. Ramirez 059d007423 Use code font in editor log 2017-09-15 20:07:04 -05:00
Daniel J. Ramirez 57fff67580 Fixed some inconsistent styles, plus some cleanup 2017-09-12 13:16:47 -05:00
toger5 18917ad1d6 fixed log colors 2017-09-05 01:10:04 +02:00
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