Age | Commit message (Expand) | Author |
2019-04-30 | fixes 27543, adds a copy button for the editor log | kbake |
2019-02-08 | Merge pull request #25549 from Zylann/fix_game_font_size_forced_to_13 | Rémi Verschelde |
2019-02-01 | Don't modify font which could potentially not be the editor one yet | Marc Gilleron |
2019-02-01 | Fixed uninitialized log member due to THEME_CHANGED notification | Marc Gilleron |
2019-01-01 | Update copyright statements to 2019 | Rémi Verschelde |
2018-09-27 | Fix warnings about unhandled enum value in switch [-Wswitch] | Rémi Verschelde |
2018-09-12 | Make core/ includes absolute, remove subfolders from include path | Rémi Verschelde |
2018-08-13 | Add warning color to output log | Chaosus |
2018-03-11 | Show error icon at "Output" in case of errors | Bernhard Liebl |
2018-01-05 | Add missing copyright headers and fix formatting | Rémi Verschelde |
2018-01-04 | Merge pull request #15186 from GodotExplorer/default-theme | Rémi Verschelde |
2018-01-03 | Merge pull request #15066 from poke1024/shortcut-clear-output | Rémi Verschelde |
2018-01-01 | Update copyright statements to 2018 | Rémi Verschelde |
2017-12-30 | Fix errors with custom default theme and custom fonts. | geequlim |
2017-12-26 | Add keyboard shortcut for Clear Output | Bernhard Liebl |
2017-09-27 | Remove unecessary anchors&margins set causing bad display (sons of containers) | Gilles Roudiere |
2017-09-26 | Merge pull request #11424 from groud/control_node_presets | Rémi Verschelde |
2017-09-25 | Add font size setting for output panel | volzhs |
2017-09-22 | Remove set_area_as_parent_rect and replace it by set_anchors_and_margins_pres... | Gilles Roudiere |
2017-09-15 | Use code font in editor log | Daniel J. Ramirez |
2017-09-12 | Fixed some inconsistent styles, plus some cleanup | Daniel J. Ramirez |
2017-09-05 | fixed log colors | toger5 |
2017-08-27 | Use HTTPS URL for Godot's website in the headers | Rémi Verschelde |
2017-08-10 | Merge pull request #10164 from djrm/pr_theme_fixes | Rémi Verschelde |
2017-08-08 | Several ui improvements (mostly margins) | Daniel J. Ramirez |
2017-08-07 | -Errors are printed again to Output, after a long time. Fixes #3373 | Juan Linietsky |
2017-08-07 | Makes all Godot API's methods Lower Case | Indah Sylvia |
2017-05-09 | New customizable editor theme | volzhs |
2017-04-08 | Add "Godot Engine contributors" copyright line | Rémi Verschelde |
2017-03-05 | A Whole New World (clang-format edition) | Rémi Verschelde |
2017-03-05 | Refactoring: rename tools/editor/ to editor/ | Rémi Verschelde |