godotengine
/
godot
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
13,431 Commits 15 Branches 59 Tags 2.2 GiB
Commit Graph

23 Commits

Author SHA1 Message Date
Bernhard Liebl 4ce6a8f5f9 Show error icon at "Output" in case of errors 
(cherry picked from commit 5120690013)
 2018-04-29 15:06:29 +02: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