You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-07 12:30:27 +00:00
Several fixed to editor doc.
Improved style Fixed editor help issues Added editor help index
This commit is contained in:
@@ -187,6 +187,8 @@ class ScriptEditor : public PanelContainer {
|
||||
HSplitContainer *script_split;
|
||||
ItemList *members_overview;
|
||||
bool members_overview_enabled;
|
||||
ItemList *help_overview;
|
||||
bool help_overview_enabled;
|
||||
VSplitContainer *list_split;
|
||||
TabContainer *tab_container;
|
||||
EditorFileDialog *file_dialog;
|
||||
@@ -294,6 +296,10 @@ class ScriptEditor : public PanelContainer {
|
||||
void _members_overview_selected(int p_idx);
|
||||
void _script_selected(int p_idx);
|
||||
|
||||
void _update_help_overview_visibility();
|
||||
void _update_help_overview();
|
||||
void _help_overview_selected(int p_idx);
|
||||
|
||||
void _find_scripts(Node *p_base, Node *p_current, Set<Ref<Script> > &used);
|
||||
|
||||
void _tree_changed();
|
||||
|
||||
Reference in New Issue
Block a user