 Paulb23
|
165b7bab63
Fixed convert indent and trim whitespace on save
|
8 years ago |
 Rémi Verschelde
|
22b9c0207b
Merge pull request #8417 from neikeq/hello-there
|
8 years ago |
|
Rémi Verschelde
|
5237bc952d
Merge pull request #8424 from Paulb23/convert_indent
|
8 years ago |
|
Paulb23
|
c59bd79e02
Convert indent on save
|
8 years ago |
|
Paulb23
|
84bca4e72f
Added support for space indentation
|
8 years ago |
 Ignacio Etcheverry
|
97c385dbb8
ScriptEditor: Fixes bug where menu option would be handled twice
|
8 years ago |
|
Ignacio Etcheverry
|
4b8568006d
External editor improvements and fixes
|
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 |
