2014-02-10 01:10:30 +00:00
|
|
|
/*************************************************************************/
|
|
|
|
/* editor_help.h */
|
|
|
|
/*************************************************************************/
|
|
|
|
/* This file is part of: */
|
|
|
|
/* GODOT ENGINE */
|
2017-08-27 12:16:55 +00:00
|
|
|
/* https://godotengine.org */
|
2014-02-10 01:10:30 +00:00
|
|
|
/*************************************************************************/
|
2018-01-01 13:40:08 +00:00
|
|
|
/* Copyright (c) 2007-2018 Juan Linietsky, Ariel Manzur. */
|
|
|
|
/* Copyright (c) 2014-2018 Godot Engine contributors (cf. AUTHORS.md) */
|
2014-02-10 01:10:30 +00:00
|
|
|
/* */
|
|
|
|
/* Permission is hereby granted, free of charge, to any person obtaining */
|
|
|
|
/* a copy of this software and associated documentation files (the */
|
|
|
|
/* "Software"), to deal in the Software without restriction, including */
|
|
|
|
/* without limitation the rights to use, copy, modify, merge, publish, */
|
|
|
|
/* distribute, sublicense, and/or sell copies of the Software, and to */
|
|
|
|
/* permit persons to whom the Software is furnished to do so, subject to */
|
|
|
|
/* the following conditions: */
|
|
|
|
/* */
|
|
|
|
/* The above copyright notice and this permission notice shall be */
|
|
|
|
/* included in all copies or substantial portions of the Software. */
|
|
|
|
/* */
|
|
|
|
/* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, */
|
|
|
|
/* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF */
|
|
|
|
/* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.*/
|
|
|
|
/* IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY */
|
|
|
|
/* CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, */
|
|
|
|
/* TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE */
|
|
|
|
/* SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */
|
|
|
|
/*************************************************************************/
|
2018-01-04 23:50:27 +00:00
|
|
|
|
2014-02-10 01:10:30 +00:00
|
|
|
#ifndef EDITOR_HELP_H
|
|
|
|
#define EDITOR_HELP_H
|
|
|
|
|
2017-03-05 13:21:25 +00:00
|
|
|
#include "editor/editor_plugin.h"
|
2014-02-10 01:10:30 +00:00
|
|
|
#include "scene/gui/menu_button.h"
|
|
|
|
#include "scene/gui/panel_container.h"
|
2017-03-05 15:44:50 +00:00
|
|
|
#include "scene/gui/rich_text_label.h"
|
|
|
|
#include "scene/gui/split_container.h"
|
|
|
|
#include "scene/gui/tab_container.h"
|
|
|
|
#include "scene/gui/text_edit.h"
|
2014-02-10 01:10:30 +00:00
|
|
|
#include "scene/gui/tree.h"
|
|
|
|
|
2017-03-05 13:21:25 +00:00
|
|
|
#include "editor/code_editor.h"
|
|
|
|
#include "editor/doc/doc_data.h"
|
2017-03-05 15:44:50 +00:00
|
|
|
#include "scene/main/timer.h"
|
2014-02-10 01:10:30 +00:00
|
|
|
|
|
|
|
class EditorNode;
|
|
|
|
|
2014-02-21 02:01:44 +00:00
|
|
|
class EditorHelpSearch : public ConfirmationDialog {
|
|
|
|
|
2017-03-05 15:44:50 +00:00
|
|
|
GDCLASS(EditorHelpSearch, ConfirmationDialog)
|
2014-02-21 02:01:44 +00:00
|
|
|
|
|
|
|
LineEdit *search_box;
|
|
|
|
Tree *search_options;
|
|
|
|
String base_type;
|
|
|
|
|
2018-02-14 16:10:17 +00:00
|
|
|
class IncrementalSearch : public Reference {
|
|
|
|
String term;
|
|
|
|
TreeItem *root;
|
|
|
|
|
|
|
|
EditorHelpSearch *search;
|
|
|
|
Tree *search_options;
|
|
|
|
|
|
|
|
DocData *doc;
|
|
|
|
Ref<Texture> def_icon;
|
|
|
|
|
|
|
|
int phase;
|
|
|
|
Map<String, DocData::ClassDoc>::Element *iterator;
|
|
|
|
|
|
|
|
void phase1(Map<String, DocData::ClassDoc>::Element *E);
|
|
|
|
void phase2(Map<String, DocData::ClassDoc>::Element *E);
|
|
|
|
bool slice();
|
|
|
|
|
|
|
|
public:
|
|
|
|
IncrementalSearch(EditorHelpSearch *p_search, Tree *p_search_options, const String &p_term);
|
|
|
|
|
|
|
|
bool empty() const;
|
|
|
|
bool work(uint64_t slot = 1000000 / 10);
|
|
|
|
};
|
|
|
|
|
2017-12-05 18:43:20 +00:00
|
|
|
Ref<IncrementalSearch> search;
|
|
|
|
|
2014-02-21 02:01:44 +00:00
|
|
|
void _update_search();
|
|
|
|
|
2017-05-20 15:38:03 +00:00
|
|
|
void _sbox_input(const Ref<InputEvent> &p_ie);
|
2014-02-21 02:01:44 +00:00
|
|
|
|
|
|
|
void _confirmed();
|
2017-03-05 15:44:50 +00:00
|
|
|
void _text_changed(const String &p_newtext);
|
2014-02-21 02:01:44 +00:00
|
|
|
|
|
|
|
protected:
|
|
|
|
void _notification(int p_what);
|
|
|
|
static void _bind_methods();
|
|
|
|
|
2017-03-05 15:44:50 +00:00
|
|
|
public:
|
2015-11-24 21:33:26 +00:00
|
|
|
void popup();
|
2017-03-05 15:44:50 +00:00
|
|
|
void popup(const String &p_term);
|
2014-02-21 02:01:44 +00:00
|
|
|
|
2015-11-17 12:46:08 +00:00
|
|
|
EditorHelpSearch();
|
2014-02-21 02:01:44 +00:00
|
|
|
};
|
|
|
|
|
2015-11-17 12:46:08 +00:00
|
|
|
class EditorHelpIndex : public ConfirmationDialog {
|
2017-03-05 15:44:50 +00:00
|
|
|
GDCLASS(EditorHelpIndex, ConfirmationDialog);
|
2015-11-17 12:46:08 +00:00
|
|
|
|
2016-03-05 10:51:09 +00:00
|
|
|
LineEdit *search_box;
|
2015-11-17 12:46:08 +00:00
|
|
|
Tree *class_list;
|
2017-03-05 15:44:50 +00:00
|
|
|
HashMap<String, TreeItem *> tree_item_map;
|
2015-11-17 12:46:08 +00:00
|
|
|
|
|
|
|
void _tree_item_selected();
|
2017-03-05 15:44:50 +00:00
|
|
|
void _text_changed(const String &p_text);
|
2017-05-20 15:38:03 +00:00
|
|
|
void _sbox_input(const Ref<InputEvent> &p_ie);
|
2016-03-05 10:51:09 +00:00
|
|
|
|
|
|
|
void _update_class_list();
|
|
|
|
|
2017-03-05 15:44:50 +00:00
|
|
|
void add_type(const String &p_type, HashMap<String, TreeItem *> &p_types, TreeItem *p_root);
|
2015-11-17 12:46:08 +00:00
|
|
|
|
2017-03-05 15:44:50 +00:00
|
|
|
protected:
|
2015-11-17 12:46:08 +00:00
|
|
|
void _notification(int p_what);
|
|
|
|
static void _bind_methods();
|
|
|
|
|
|
|
|
public:
|
2017-03-05 15:44:50 +00:00
|
|
|
void select_class(const String &p_class);
|
2015-11-17 12:46:08 +00:00
|
|
|
|
2016-03-05 10:51:09 +00:00
|
|
|
void popup();
|
|
|
|
|
2015-11-17 12:46:08 +00:00
|
|
|
EditorHelpIndex();
|
|
|
|
};
|
2014-02-21 02:01:44 +00:00
|
|
|
|
2017-12-22 18:09:31 +00:00
|
|
|
class FindBar : public HBoxContainer {
|
|
|
|
|
|
|
|
GDCLASS(FindBar, HBoxContainer);
|
|
|
|
|
|
|
|
LineEdit *search_text;
|
|
|
|
ToolButton *find_prev;
|
|
|
|
ToolButton *find_next;
|
|
|
|
Label *error_label;
|
|
|
|
TextureButton *hide_button;
|
|
|
|
String prev_search;
|
|
|
|
|
|
|
|
Control *container;
|
|
|
|
HBoxContainer *hbc;
|
|
|
|
VBoxContainer *vbc_search_text;
|
|
|
|
|
|
|
|
RichTextLabel *rich_text_label;
|
|
|
|
|
|
|
|
void _show_search();
|
|
|
|
void _hide_bar();
|
|
|
|
|
|
|
|
void _search_text_changed(const String &p_text);
|
|
|
|
void _search_text_entered(const String &p_text);
|
|
|
|
|
2018-05-16 14:43:00 +00:00
|
|
|
void _update_size();
|
|
|
|
|
2017-12-22 18:09:31 +00:00
|
|
|
protected:
|
|
|
|
void _notification(int p_what);
|
|
|
|
void _unhandled_input(const Ref<InputEvent> &p_event);
|
|
|
|
|
|
|
|
bool _search(bool p_search_previous = false);
|
|
|
|
|
|
|
|
static void _bind_methods();
|
|
|
|
|
|
|
|
public:
|
|
|
|
void set_error(const String &p_label);
|
|
|
|
|
|
|
|
void set_rich_text_label(RichTextLabel *p_rich_text_label);
|
|
|
|
|
|
|
|
void popup_search();
|
|
|
|
|
|
|
|
bool search_prev();
|
|
|
|
bool search_next();
|
|
|
|
|
|
|
|
FindBar();
|
|
|
|
};
|
|
|
|
|
2014-02-10 01:10:30 +00:00
|
|
|
class EditorHelp : public VBoxContainer {
|
2017-03-05 15:44:50 +00:00
|
|
|
GDCLASS(EditorHelp, VBoxContainer);
|
2014-02-10 01:10:30 +00:00
|
|
|
|
|
|
|
enum Page {
|
|
|
|
|
|
|
|
PAGE_CLASS_LIST,
|
|
|
|
PAGE_CLASS_DESC,
|
|
|
|
PAGE_CLASS_PREV,
|
|
|
|
PAGE_CLASS_NEXT,
|
|
|
|
PAGE_SEARCH,
|
2014-02-21 02:01:44 +00:00
|
|
|
CLASS_SEARCH,
|
2014-02-10 01:10:30 +00:00
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
bool select_locked;
|
|
|
|
|
|
|
|
String prev_search;
|
2015-11-17 12:46:08 +00:00
|
|
|
|
|
|
|
String edited_class;
|
2014-02-10 01:10:30 +00:00
|
|
|
|
2017-09-14 00:56:37 +00:00
|
|
|
Vector<Pair<String, int> > section_line;
|
2017-03-05 15:44:50 +00:00
|
|
|
Map<String, int> method_line;
|
|
|
|
Map<String, int> signal_line;
|
|
|
|
Map<String, int> property_line;
|
|
|
|
Map<String, int> theme_property_line;
|
|
|
|
Map<String, int> constant_line;
|
2017-08-23 22:10:32 +00:00
|
|
|
Map<String, int> enum_line;
|
2018-03-30 14:20:24 +00:00
|
|
|
Map<String, Map<String, int> > enum_values_line;
|
2014-02-21 02:01:44 +00:00
|
|
|
int description_line;
|
2014-02-10 01:10:30 +00:00
|
|
|
|
|
|
|
RichTextLabel *class_desc;
|
|
|
|
HSplitContainer *h_split;
|
2014-02-16 00:16:33 +00:00
|
|
|
static DocData *doc;
|
2014-02-10 01:10:30 +00:00
|
|
|
|
2015-11-17 12:46:08 +00:00
|
|
|
ConfirmationDialog *search_dialog;
|
2014-02-10 01:10:30 +00:00
|
|
|
LineEdit *search;
|
2017-12-22 18:09:31 +00:00
|
|
|
FindBar *find_bar;
|
2014-02-10 01:10:30 +00:00
|
|
|
|
2015-11-17 12:46:08 +00:00
|
|
|
String base_path;
|
2014-02-10 01:10:30 +00:00
|
|
|
|
2017-12-15 08:45:23 +00:00
|
|
|
Color title_color;
|
|
|
|
Color text_color;
|
|
|
|
Color headline_color;
|
|
|
|
Color base_type_color;
|
|
|
|
Color type_color;
|
|
|
|
Color comment_color;
|
|
|
|
Color symbol_color;
|
|
|
|
Color value_color;
|
|
|
|
Color qualifier_color;
|
|
|
|
|
|
|
|
void _init_colors();
|
2017-03-05 15:44:50 +00:00
|
|
|
void _help_callback(const String &p_topic);
|
2014-02-21 02:01:44 +00:00
|
|
|
|
2017-08-12 16:52:50 +00:00
|
|
|
void _add_text(const String &p_bbcode);
|
2014-02-10 01:10:30 +00:00
|
|
|
bool scroll_locked;
|
|
|
|
|
2015-11-17 12:46:08 +00:00
|
|
|
//void _button_pressed(int p_idx);
|
2017-08-23 22:10:32 +00:00
|
|
|
void _add_type(const String &p_type, const String &p_enum = String());
|
2017-12-15 08:45:23 +00:00
|
|
|
void _add_method(const DocData::MethodDoc &p_method, bool p_overview = true);
|
2014-02-10 01:10:30 +00:00
|
|
|
|
2017-03-05 15:44:50 +00:00
|
|
|
void _class_list_select(const String &p_select);
|
|
|
|
void _class_desc_select(const String &p_select);
|
2017-05-20 15:38:03 +00:00
|
|
|
void _class_desc_input(const Ref<InputEvent> &p_input);
|
2014-02-10 01:10:30 +00:00
|
|
|
|
2017-03-05 15:44:50 +00:00
|
|
|
Error _goto_desc(const String &p_class, int p_vscr = -1);
|
2015-11-17 12:46:08 +00:00
|
|
|
//void _update_history_buttons();
|
2014-02-10 01:10:30 +00:00
|
|
|
void _update_doc();
|
|
|
|
|
2017-03-05 15:44:50 +00:00
|
|
|
void _request_help(const String &p_string);
|
|
|
|
void _search(const String &p_str);
|
2014-02-10 01:10:30 +00:00
|
|
|
|
2017-05-20 15:38:03 +00:00
|
|
|
void _unhandled_key_input(const Ref<InputEvent> &p_ev);
|
2014-02-21 02:01:44 +00:00
|
|
|
|
2014-02-10 01:10:30 +00:00
|
|
|
protected:
|
|
|
|
void _notification(int p_what);
|
|
|
|
static void _bind_methods();
|
|
|
|
|
2017-03-05 15:44:50 +00:00
|
|
|
public:
|
2014-02-16 00:16:33 +00:00
|
|
|
static void generate_doc();
|
2014-02-21 02:01:44 +00:00
|
|
|
static DocData *get_doc_data() { return doc; }
|
2014-02-16 00:16:33 +00:00
|
|
|
|
2017-03-05 15:44:50 +00:00
|
|
|
void go_to_help(const String &p_help);
|
|
|
|
void go_to_class(const String &p_class, int p_scroll = 0);
|
2014-02-21 02:01:44 +00:00
|
|
|
|
2017-09-14 00:56:37 +00:00
|
|
|
Vector<Pair<String, int> > get_sections();
|
|
|
|
void scroll_to_section(int p_section_index);
|
|
|
|
|
2015-11-17 12:46:08 +00:00
|
|
|
void popup_search();
|
|
|
|
void search_again();
|
2014-02-10 01:10:30 +00:00
|
|
|
|
2017-01-03 02:03:46 +00:00
|
|
|
String get_class();
|
2014-02-10 01:10:30 +00:00
|
|
|
|
2015-11-17 12:46:08 +00:00
|
|
|
void set_focused() { class_desc->grab_focus(); }
|
2014-02-10 01:10:30 +00:00
|
|
|
|
2015-11-17 12:46:08 +00:00
|
|
|
int get_scroll() const;
|
|
|
|
void set_scroll(int p_scroll);
|
2014-02-10 01:10:30 +00:00
|
|
|
|
2015-11-17 12:46:08 +00:00
|
|
|
EditorHelp();
|
|
|
|
~EditorHelp();
|
|
|
|
};
|
2014-02-10 01:10:30 +00:00
|
|
|
|
2016-08-24 02:15:16 +00:00
|
|
|
class EditorHelpBit : public Panel {
|
2014-02-10 01:10:30 +00:00
|
|
|
|
2017-03-05 15:44:50 +00:00
|
|
|
GDCLASS(EditorHelpBit, Panel);
|
2016-08-24 02:15:16 +00:00
|
|
|
|
|
|
|
RichTextLabel *rich_text;
|
|
|
|
void _go_to_help(String p_what);
|
2017-08-12 16:52:50 +00:00
|
|
|
void _meta_clicked(String p_select);
|
2016-08-24 02:15:16 +00:00
|
|
|
|
|
|
|
protected:
|
|
|
|
static void _bind_methods();
|
|
|
|
void _notification(int p_what);
|
|
|
|
|
2017-03-05 15:44:50 +00:00
|
|
|
public:
|
|
|
|
void set_text(const String &p_text);
|
2016-08-24 02:15:16 +00:00
|
|
|
EditorHelpBit();
|
|
|
|
};
|
2014-02-21 02:01:44 +00:00
|
|
|
|
2014-02-10 01:10:30 +00:00
|
|
|
#endif // EDITOR_HELP_H
|