summaryrefslogtreecommitdiff
path: root/editor/plugins/script_editor_plugin.cpp
AgeCommit message (Expand)Author
2017-08-07Merge pull request #9878 from toger5/theme_border_settings_changeRémi Verschelde
2017-08-04editor: update helps and script panel on theme could change.toger5
2017-07-29ScriptEditor -> 'script_close' signal hint correctionJakub Grzesik
2017-07-23Merge pull request #9762 from Paulb23/_scipt_close_tab_selection_issue_8400Rémi Verschelde
2017-07-23Merge pull request #9761 from Noshyaar/pr-fixRémi Verschelde
2017-07-22Merge pull request #9717 from kubecz3k/plugin-methods-renameRémi Verschelde
2017-07-22Fixed script tab selection on file close, issue 8400Paulb23
2017-07-22ScriptEditor: suppress get_child errorsPoommetee Ketson
2017-07-20EditorPlugin methods and signals renameJakub Grzesik
2017-07-19-Renamed GlobalConfig to ProjectSettings, makes more sense.Juan Linietsky
2017-07-19Merge pull request #9565 from kubecz3k/tool-signalsRémi Verschelde
2017-07-18Make available more informations about editor for Tool PluginsJakub Grzesik
2017-07-16Improvements and fixes for the default theme.Daniel J. Ramirez
2017-07-10Ability to toggle script panel visibilityJakub Grzesik
2017-07-02Script editor help: Prevent loading empty instances from layoutRémi Verschelde
2017-06-30-Many fixes to VisualScript, fixed property names, etc.Juan Linietsky
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-02 19:37:01 +0000