summaryrefslogtreecommitdiff
path: root/editor/plugins/script_editor_plugin.cpp
AgeCommit message (Expand)Author
2017-06-27Better user expirence with external text editors.geequlim
2017-06-05Merge pull request #8974 from Paulb23/script_overviewRémi Verschelde
2017-05-29Added members overviewPaulb23
2017-05-26Added an help menuNuno Donato
2017-05-20Removal of InputEvent as built-in Variant type..Juan Linietsky
2017-05-20Merge pull request #8631 from volzhs/editor-theme-customRémi Verschelde
2017-05-18Merge pull request #8789 from Hinsbart/editor_shortcutsRémi Verschelde
2017-05-18Editor: Make "open 2d/3d/script editor" shortcuts configurable.Andreas Haas
2017-05-17Adapt tutorials (Godot Docs) icon to new designRémi Verschelde
2017-05-09New customizable editor themevolzhs
2017-05-03Revert "Add new editor and default theme (WIP)"volzhs
2017-05-02Merge pull request #8569 from volzhs/editor-theme-1Rémi Verschelde
2017-05-02Merge pull request #8559 from Paulb23/script_recent_filesRémi Verschelde
2017-04-28Fix to use editor theme instead of handling each UIvolzhs
2017-04-28Update editor themevolzhs
2017-04-27Added recent scripts to script editorPaulb23
2017-04-27Add new editor and default theme (WIP)Daniel J. Ramirez
2017-04-26Changed indent type settingsPaulb23
2017-04-23Fixed convert indent and trim whitespace on savePaulb23
2017-04-20Merge pull request #8417 from neikeq/hello-thereRémi Verschelde
2017-04-18Merge pull request #8424 from Paulb23/convert_indentRémi Verschelde
2017-04-18Convert indent on savePaulb23
2017-04-18Added support for space indentationPaulb23
2017-04-17ScriptEditor: Fixes bug where menu option would be handled twiceIgnacio Etcheverry
2017-04-17External editor improvements and fixesIgnacio Etcheverry
2017-04-08Add "Godot Engine contributors" copyright lineRémi Verschelde
2017-03-05A Whole New World (clang-format edition)Rémi Verschelde
2017-03-05Refactoring: rename tools/editor/ to editor/Rémi Verschelde