03a6b0d926
Small visual changes for some filter bars.
2018-05-17 21:50:14 -03:00
9a365a1216
Moved inspector functionality from EditorNode to InspectorDock.
2018-05-17 16:29:26 -05:00
7ad14e7a3e
Dead code tells no tales
2017-08-27 22:13:45 +02:00
bd282ff43f
Use HTTPS URL for Godot's website in the headers
2017-08-27 14:16:55 +02:00
df61dc4b2b
Add "Godot Engine contributors" copyright line
2017-04-08 00:11:42 +02:00
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
Michael Alexsander Silva Dias
Daniel J. Ramirez
Rémi Verschelde