godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-07 12:30:27 +00:00
Code Releases Wiki Activity

Merge pull request #25782 from hsandt/feature/fix-toggle-comment-indent

Browse Source 
Feature/fix toggle comment indent
This commit is contained in:
Rémi Verschelde
2019-03-16 11:17:47 -07:00
committed by GitHub
parent 6f404efd9a 49b4faf43a
commit e5a310cd38
5 changed files with 101 additions and 133 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
editor/plugins/script_text_editor.h
View File

@@ -136,6 +136,7 @@ protected:
void _change_syntax_highlighter(int p_idx);
void _edit_option(int p_op);
void _edit_option_toggle_inline_comment();
void _make_context_menu(bool p_selection, bool p_color, bool p_foldable, bool p_open_docs, bool p_goto_definition);
void _text_edit_gui_input(const Ref<InputEvent> &ev);
void _color_changed(const Color &p_color);