diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-04-02 16:45:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-02 16:45:01 +0200 |
| commit | f1e943f6cec042b8187caf155d0f9500cd1262eb (patch) | |
| tree | 4ca340a212f3583c6c8afafb80b7fae9ecbf2f19 /editor/plugins/script_editor_plugin.h | |
| parent | 058a0afdeca83145d58a95c426dd01216c397ea9 (diff) | |
| parent | 2f6f029a7526b57e14ff9eab8bc60e1eb1112868 (diff) | |
| download | redot-engine-f1e943f6cec042b8187caf155d0f9500cd1262eb.tar.gz | |
Merge pull request #35720 from Calinou/remove-request-docs-button
Remove Request Docs button in the script editor due to various issues
Diffstat (limited to 'editor/plugins/script_editor_plugin.h')
| -rw-r--r-- | editor/plugins/script_editor_plugin.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/editor/plugins/script_editor_plugin.h b/editor/plugins/script_editor_plugin.h index ec598f0b42..e895867268 100644 --- a/editor/plugins/script_editor_plugin.h +++ b/editor/plugins/script_editor_plugin.h @@ -159,7 +159,6 @@ class ScriptEditor : public PanelContainer { REPLACE_IN_FILES, SEARCH_HELP, SEARCH_WEBSITE, - REQUEST_DOCS, HELP_SEARCH_FIND, HELP_SEARCH_FIND_NEXT, HELP_SEARCH_FIND_PREVIOUS, @@ -204,7 +203,6 @@ class ScriptEditor : public PanelContainer { Button *help_search; Button *site_search; - Button *request_docs; EditorHelpSearch *help_search_dialog; ItemList *script_list; |