7 commits

Author	SHA1	Message	Date
Juan Linietsky	b659fd6d74	Entirely new (and much improved) animation editor.	2018-06-07 12:52:00 -03:00
Michael Alexsander Silva Dias	03a6b0d926	Small visual changes for some filter bars.	2018-05-17 21:50:14 -03:00
Daniel J. Ramirez	9a365a1216	Moved inspector functionality from EditorNode to InspectorDock.	2018-05-17 16:29:26 -05:00
Rémi Verschelde	7ad14e7a3e	Dead code tells no tales	2017-08-27 22:13:45 +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	df61dc4b2b	Add "Godot Engine contributors" copyright line	2017-04-08 00:11:42 +02: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

Renamed from tools/editor/inspector_dock.cpp (Browse further)