godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-11 13:10:58 +00:00
Code Releases Wiki Activity

Add a "Request Docs" button to code editor.

Browse Source
This commit is contained in:
Juan Linietsky
2019-03-26 16:36:19 -07:00
parent 81292665d5
commit 6574c557c9
3 changed files with 83 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
editor/plugins/script_editor_plugin.h
View File

@@ -157,6 +157,7 @@ class ScriptEditor : public PanelContainer {
DEBUG_WITH_EXTERNAL_EDITOR,
SEARCH_HELP,
SEARCH_WEBSITE,
REQUEST_DOCS,
HELP_SEARCH_FIND,
HELP_SEARCH_FIND_NEXT,
WINDOW_MOVE_UP,
@@ -200,6 +201,7 @@ class ScriptEditor : public PanelContainer {
Button *help_search;
Button *site_search;
Button *request_docs;
EditorHelpSearch *help_search_dialog;
ItemList *script_list;