2014-02-10 02:10:30 +01:00
|
|
|
/*************************************************************************/
|
|
|
|
/* editor_help.h */
|
|
|
|
/*************************************************************************/
|
|
|
|
/* This file is part of: */
|
|
|
|
/* GODOT ENGINE */
|
2017-08-27 14:16:55 +02:00
|
|
|
/* https://godotengine.org */
|
2014-02-10 02:10:30 +01:00
|
|
|
/*************************************************************************/
|
2018-01-01 14:40:08 +01:00
|
|
|
/* Copyright (c) 2007-2018 Juan Linietsky, Ariel Manzur. */
|
|
|
|
/* Copyright (c) 2014-2018 Godot Engine contributors (cf. AUTHORS.md) */
|
2014-02-10 02:10:30 +01: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-05 00:50:27 +01:00
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
#ifndef EDITOR_HELP_H
|
|
|
|
#define EDITOR_HELP_H
|
|
|
|
|
2017-03-05 14:21:25 +01:00
|
|
|
#include "editor/editor_plugin.h"
|
2014-02-10 02:10:30 +01:00
|
|
|
#include "scene/gui/menu_button.h"
|
|
|
|
#include "scene/gui/panel_container.h"
|
2017-03-05 16:44:50 +01: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 02:10:30 +01:00
|
|
|
#include "scene/gui/tree.h"
|
|
|
|
|
2017-03-05 14:21:25 +01:00
|
|
|
#include "editor/code_editor.h"
|
|
|
|
#include "editor/doc/doc_data.h"
|
2017-03-05 16:44:50 +01:00
|
|
|
#include "scene/main/timer.h"
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
class EditorNode;
|
|
|
|
|
2014-02-21 03:01:44 +01:00
|
|
|
class EditorHelpSearch : public ConfirmationDialog {
|
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
GDCLASS(EditorHelpSearch, ConfirmationDialog)
|
2014-02-21 03:01:44 +01:00
|
|
|
|
|
|
|
LineEdit *search_box;
|
|
|
|
Tree *search_options;
|
|
|
|
String base_type;
|
|
|
|
|
2018-02-14 17:10:17 +01: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 19:43:20 +01:00
|
|
|
Ref<IncrementalSearch> search;
|
|
|
|
|
2014-02-21 03:01:44 +01:00
|
|
|
void _update_search();
|
|
|
|
|
2017-05-20 17:38:03 +02:00
|
|
|
void _sbox_input(const Ref<InputEvent> &p_ie);
|
2014-02-21 03:01:44 +01:00
|
|
|
|
|
|
|
void _confirmed();
|
2017-03-05 16:44:50 +01:00
|
|
|
void _text_changed(const String &p_newtext);
|
2014-02-21 03:01:44 +01:00
|
|
|
|
|
|
|
protected:
|
|
|
|
void _notification(int p_what);
|
|
|
|
static void _bind_methods();
|
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
public:
|
2015-11-24 22:33:26 +01:00
|
|
|
void popup();
|
2017-03-05 16:44:50 +01:00
|
|
|
void popup(const String &p_term);
|
2014-02-21 03:01:44 +01:00
|
|
|
|
2015-11-17 13:46:08 +01:00
|
|
|
EditorHelpSearch();
|
2014-02-21 03:01:44 +01:00
|
|
|
};
|
|
|
|
|
2015-11-17 13:46:08 +01:00
|
|
|
class EditorHelpIndex : public ConfirmationDialog {
|
2017-03-05 16:44:50 +01:00
|
|
|
GDCLASS(EditorHelpIndex, ConfirmationDialog);
|
2015-11-17 13:46:08 +01:00
|
|
|
|
2016-03-05 11:51:09 +01:00
|
|
|
LineEdit *search_box;
|
2015-11-17 13:46:08 +01:00
|
|
|
Tree *class_list;
|
2017-03-05 16:44:50 +01:00
|
|
|
HashMap<String, TreeItem *> tree_item_map;
|
2015-11-17 13:46:08 +01:00
|
|
|
|
|
|
|
void _tree_item_selected();
|
2017-03-05 16:44:50 +01:00
|
|
|
void _text_changed(const String &p_text);
|
2017-05-20 17:38:03 +02:00
|
|
|
void _sbox_input(const Ref<InputEvent> &p_ie);
|
2016-03-05 11:51:09 +01:00
|
|
|
|
|
|
|
void _update_class_list();
|
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
void add_type(const String &p_type, HashMap<String, TreeItem *> &p_types, TreeItem *p_root);
|
2015-11-17 13:46:08 +01:00
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
protected:
|
2015-11-17 13:46:08 +01:00
|
|
|
void _notification(int p_what);
|
|
|
|
static void _bind_methods();
|
|
|
|
|
|
|
|
public:
|
2017-03-05 16:44:50 +01:00
|
|
|
void select_class(const String &p_class);
|
2015-11-17 13:46:08 +01:00
|
|
|
|
2016-03-05 11:51:09 +01:00
|
|
|
void popup();
|
|
|
|
|
2015-11-17 13:46:08 +01:00
|
|
|
EditorHelpIndex();
|
|
|
|
};
|
2014-02-21 03:01:44 +01:00
|
|
|
|
2017-12-22 19:09:31 +01: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 16:43:00 +02:00
|
|
|
void _update_size();
|
|
|
|
|
2017-12-22 19:09:31 +01: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 02:10:30 +01:00
|
|
|
class EditorHelp : public VBoxContainer {
|
2017-03-05 16:44:50 +01:00
|
|
|
GDCLASS(EditorHelp, VBoxContainer);
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
enum Page {
|
|
|
|
|
|
|
|
PAGE_CLASS_LIST,
|
|
|
|
PAGE_CLASS_DESC,
|
|
|
|
PAGE_CLASS_PREV,
|
|
|
|
PAGE_CLASS_NEXT,
|
|
|
|
PAGE_SEARCH,
|
2014-02-21 03:01:44 +01:00
|
|
|
CLASS_SEARCH,
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
bool select_locked;
|
|
|
|
|
|
|
|
String prev_search;
|
2015-11-17 13:46:08 +01:00
|
|
|
|
|
|
|
String edited_class;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-09-14 02:56:37 +02:00
|
|
|
Vector<Pair<String, int> > section_line;
|
2017-03-05 16:44:50 +01: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-24 00:10:32 +02:00
|
|
|
Map<String, int> enum_line;
|
2018-03-30 16:20:24 +02:00
|
|
|
Map<String, Map<String, int> > enum_values_line;
|
2014-02-21 03:01:44 +01:00
|
|
|
int description_line;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
RichTextLabel *class_desc;
|
|
|
|
HSplitContainer *h_split;
|
2014-02-16 01:16:33 +01:00
|
|
|
static DocData *doc;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2015-11-17 13:46:08 +01:00
|
|
|
ConfirmationDialog *search_dialog;
|
2014-02-10 02:10:30 +01:00
|
|
|
LineEdit *search;
|
2017-12-22 19:09:31 +01:00
|
|
|
FindBar *find_bar;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2015-11-17 13:46:08 +01:00
|
|
|
String base_path;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-12-15 09:45:23 +01: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 16:44:50 +01:00
|
|
|
void _help_callback(const String &p_topic);
|
2014-02-21 03:01:44 +01:00
|
|
|
|
2017-08-12 18:52:50 +02:00
|
|
|
void _add_text(const String &p_bbcode);
|
2014-02-10 02:10:30 +01:00
|
|
|
bool scroll_locked;
|
|
|
|
|
2015-11-17 13:46:08 +01:00
|
|
|
//void _button_pressed(int p_idx);
|
2017-08-24 00:10:32 +02:00
|
|
|
void _add_type(const String &p_type, const String &p_enum = String());
|
2017-12-15 09:45:23 +01:00
|
|
|
void _add_method(const DocData::MethodDoc &p_method, bool p_overview = true);
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
void _class_list_select(const String &p_select);
|
|
|
|
void _class_desc_select(const String &p_select);
|
2017-05-20 17:38:03 +02:00
|
|
|
void _class_desc_input(const Ref<InputEvent> &p_input);
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
Error _goto_desc(const String &p_class, int p_vscr = -1);
|
2015-11-17 13:46:08 +01:00
|
|
|
//void _update_history_buttons();
|
2014-02-10 02:10:30 +01:00
|
|
|
void _update_doc();
|
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
void _request_help(const String &p_string);
|
|
|
|
void _search(const String &p_str);
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-05-20 17:38:03 +02:00
|
|
|
void _unhandled_key_input(const Ref<InputEvent> &p_ev);
|
2014-02-21 03:01:44 +01:00
|
|
|
|
2018-08-21 22:12:55 +02:00
|
|
|
String _fix_constant(const String &p_constant) const;
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
protected:
|
|
|
|
void _notification(int p_what);
|
|
|
|
static void _bind_methods();
|
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
public:
|
2014-02-16 01:16:33 +01:00
|
|
|
static void generate_doc();
|
2014-02-21 03:01:44 +01:00
|
|
|
static DocData *get_doc_data() { return doc; }
|
2014-02-16 01:16:33 +01:00
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
void go_to_help(const String &p_help);
|
|
|
|
void go_to_class(const String &p_class, int p_scroll = 0);
|
2014-02-21 03:01:44 +01:00
|
|
|
|
2017-09-14 02:56:37 +02:00
|
|
|
Vector<Pair<String, int> > get_sections();
|
|
|
|
void scroll_to_section(int p_section_index);
|
|
|
|
|
2015-11-17 13:46:08 +01:00
|
|
|
void popup_search();
|
|
|
|
void search_again();
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-01-03 03:03:46 +01:00
|
|
|
String get_class();
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2015-11-17 13:46:08 +01:00
|
|
|
void set_focused() { class_desc->grab_focus(); }
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2015-11-17 13:46:08 +01:00
|
|
|
int get_scroll() const;
|
|
|
|
void set_scroll(int p_scroll);
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2015-11-17 13:46:08 +01:00
|
|
|
EditorHelp();
|
|
|
|
~EditorHelp();
|
|
|
|
};
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2018-07-20 23:14:33 +02:00
|
|
|
class EditorHelpBit : public PanelContainer {
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2018-07-20 23:14:33 +02:00
|
|
|
GDCLASS(EditorHelpBit, PanelContainer);
|
2016-08-24 04:15:16 +02:00
|
|
|
|
|
|
|
RichTextLabel *rich_text;
|
|
|
|
void _go_to_help(String p_what);
|
2017-08-12 18:52:50 +02:00
|
|
|
void _meta_clicked(String p_select);
|
2016-08-24 04:15:16 +02:00
|
|
|
|
|
|
|
protected:
|
|
|
|
static void _bind_methods();
|
|
|
|
void _notification(int p_what);
|
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
public:
|
2018-07-20 23:14:33 +02:00
|
|
|
RichTextLabel *get_rich_text() { return rich_text; }
|
2017-03-05 16:44:50 +01:00
|
|
|
void set_text(const String &p_text);
|
2016-08-24 04:15:16 +02:00
|
|
|
EditorHelpBit();
|
|
|
|
};
|
2014-02-21 03:01:44 +01:00
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
#endif // EDITOR_HELP_H
|