summaryrefslogtreecommitdiff
path: root/editor/editor_log.cpp
AgeCommit message (Collapse)Author
2019-04-30fixes 27543, adds a copy button for the editor logkbake
2019-02-08Merge pull request #25549 from Zylann/fix_game_font_size_forced_to_13Rémi Verschelde
Don't modify font which could potentially not be the editor one yet
2019-02-01Don't modify font which could potentially not be the editor one yetMarc Gilleron
2019-02-01Fixed uninitialized log member due to THEME_CHANGED notificationMarc Gilleron
2019-01-01Update copyright statements to 2019Rémi Verschelde
Happy new year to the wonderful Godot community!
2018-09-27Fix warnings about unhandled enum value in switch [-Wswitch]Rémi Verschelde
Fixes GCC 5 warnings of the form: core/io/http_client.cpp:288:9: warning: enumeration value 'STATUS_SSL_HANDSHAKE_ERROR' not handled in switch [-Wswitch] core/io/marshalls.cpp:806:9: warning: enumeration value 'AABB' not handled in switch [-Wswitch] Those can be trivial cases where adding a default fallback is the solution, or more complex issues/hidden bugs where missed values are actually meant to be handled.
2018-09-12Make core/ includes absolute, remove subfolders from include pathRémi Verschelde
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-08-13Add warning color to output logChaosus
2018-03-11Show error icon at "Output" in case of errorsBernhard Liebl
2018-01-05Add missing copyright headers and fix formattingRémi Verschelde
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-04Merge pull request #15186 from GodotExplorer/default-themeRémi Verschelde
Fix errors with custom theme and custom font in project settings.
2018-01-03Merge pull request #15066 from poke1024/shortcut-clear-outputRémi Verschelde
Add keyboard shortcut for Clear Output
2018-01-01Update copyright statements to 2018Rémi Verschelde
Happy new year to the wonderful Godot community!
2017-12-30Fix errors with custom default theme and custom fonts.geequlim
2017-12-26Add keyboard shortcut for Clear OutputBernhard Liebl
2017-09-27Remove unecessary anchors&margins set causing bad display (sons of containers)Gilles Roudiere
2017-09-26Merge pull request #11424 from groud/control_node_presetsRémi Verschelde
Implements set_margins_preset(...)
2017-09-25Add font size setting for output panelvolzhs
2017-09-22Remove set_area_as_parent_rect and replace it by ↵Gilles Roudiere
set_anchors_and_margins_preset(PRESET_WIDE)
2017-09-15Use code font in editor logDaniel J. Ramirez
2017-09-12Fixed some inconsistent styles, plus some cleanupDaniel J. Ramirez
2017-09-05fixed log colorstoger5
2017-08-27Use HTTPS URL for Godot's website in the headersRémi Verschelde
2017-08-10Merge pull request #10164 from djrm/pr_theme_fixesRémi Verschelde
Visual polishing
2017-08-08Several ui improvements (mostly margins)Daniel J. Ramirez
Improved colors Added some missing icons
2017-08-07-Errors are printed again to Output, after a long time. Fixes #3373Juan Linietsky
2017-08-07Makes all Godot API's methods Lower CaseIndah Sylvia
2017-05-09New customizable editor themevolzhs
2017-04-08Add "Godot Engine contributors" copyright lineRémi Verschelde
2017-03-05A Whole New World (clang-format edition)Rémi Verschelde
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-05Refactoring: rename tools/editor/ to editor/Rémi Verschelde
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.