diff options
| author | Yuri Roubinsky <chaosus89@gmail.com> | 2019-12-17 20:55:48 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-17 20:55:48 +0300 |
| commit | 5a1b7a6a90c35642edb3818e82411f00598d9acb (patch) | |
| tree | 897d760f27faf7db2824490c20dc290e1245d45e /editor/code_editor.h | |
| parent | 0dd6079e4e4bc773c01bb85858d0a56b5b756d8f (diff) | |
| parent | 03928c5b3611505aad21644244042912d3e99be4 (diff) | |
Merge pull request #34402 from Chaosus/fix_toggle_scripts_panel2
Fix toggle scripts panel to allow using shortcut in other areas
Diffstat (limited to 'editor/code_editor.h')
| -rw-r--r-- | editor/code_editor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/code_editor.h b/editor/code_editor.h index 6d85f353f9..118d95a10e 100644 --- a/editor/code_editor.h +++ b/editor/code_editor.h @@ -256,6 +256,7 @@ public: void validate_script(); void show_toggle_scripts_button(); + void update_toggle_scripts_button(); CodeTextEditor(); }; |