 Gilles Roudiere
|
6f185cc9f7
Remove unecessary anchors&margins set causing bad display (sons of containers)
|
7 years ago |
 Rémi Verschelde
|
f577efd47e
Merge pull request #11424 from groud/control_node_presets
|
7 years ago |
 volzhs
|
79e506ff52
Add font size setting for output panel
|
7 years ago |
|
Gilles Roudiere
|
05bb8e0c10
Remove set_area_as_parent_rect and replace it by set_anchors_and_margins_preset(PRESET_WIDE)
|
7 years ago |
 Daniel J. Ramirez
|
059d007423
Use code font in editor log
|
7 years ago |
|
Daniel J. Ramirez
|
57fff67580
Fixed some inconsistent styles, plus some cleanup
|
7 years ago |
 toger5
|
18917ad1d6
fixed log colors
|
7 years ago |
|
Rémi Verschelde
|
bd282ff43f
Use HTTPS URL for Godot's website in the headers
|
7 years ago |
|
Rémi Verschelde
|
81dde2687f
Merge pull request #10164 from djrm/pr_theme_fixes
|
7 years ago |
|
Daniel J. Ramirez
|
273d2ab9d4
Several ui improvements (mostly margins)
|
7 years ago |
 Juan Linietsky
|
f6ad0ccc63
-Errors are printed again to Output, after a long time. Fixes #3373
|
7 years ago |
 Indah Sylvia
|
5ae78fdf6a
Makes all Godot API's methods Lower Case
|
7 years ago |
|
volzhs
|
bb81293047
New customizable editor theme
|
8 years ago |
|
Rémi Verschelde
|
df61dc4b2b
Add "Godot Engine contributors" copyright line
|
8 years ago |
|
Rémi Verschelde
|
5dbf1809c6
A Whole New World (clang-format edition)
|
8 years ago |
|
Rémi Verschelde
|
49c065d29c
Refactoring: rename tools/editor/ to editor/
|
8 years ago |
