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
