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
|
|
|
/*************************************************************************/
|
2020-01-01 11:16:22 +01:00
|
|
|
/* Copyright (c) 2007-2020 Juan Linietsky, Ariel Manzur. */
|
|
|
|
/* Copyright (c) 2014-2020 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-12-11 00:56:49 +01:00
|
|
|
#include "editor/code_editor.h"
|
2020-11-29 04:42:06 +01:00
|
|
|
#include "editor/doc_tools.h"
|
2017-03-05 14:21:25 +01:00
|
|
|
#include "editor/editor_plugin.h"
|
2019-02-10 17:17:29 +01:00
|
|
|
#include "scene/gui/margin_container.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"
|
|
|
|
#include "scene/main/timer.h"
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-12-22 19:09:31 +01:00
|
|
|
class FindBar : public HBoxContainer {
|
|
|
|
GDCLASS(FindBar, HBoxContainer);
|
|
|
|
|
|
|
|
LineEdit *search_text;
|
2020-06-19 20:49:04 +02:00
|
|
|
Button *find_prev;
|
|
|
|
Button *find_next;
|
2019-08-09 06:00:44 +02:00
|
|
|
Label *matches_label;
|
2017-12-22 19:09:31 +01:00
|
|
|
TextureButton *hide_button;
|
|
|
|
String prev_search;
|
|
|
|
|
|
|
|
RichTextLabel *rich_text_label;
|
|
|
|
|
2019-08-09 06:00:44 +02:00
|
|
|
int results_count;
|
|
|
|
|
2017-12-22 19:09:31 +01:00
|
|
|
void _show_search();
|
|
|
|
void _hide_bar();
|
|
|
|
|
|
|
|
void _search_text_changed(const String &p_text);
|
|
|
|
void _search_text_entered(const String &p_text);
|
|
|
|
|
2019-08-09 06:00:44 +02:00
|
|
|
void _update_results_count();
|
|
|
|
void _update_matches_label();
|
|
|
|
|
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_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
|
|
|
|
2020-03-17 07:33:00 +01: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;
|
2020-03-17 07:33:00 +01: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;
|
2020-11-29 04:42:06 +01:00
|
|
|
static DocTools *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);
|
2019-06-05 20:47:34 +02:00
|
|
|
void _class_desc_resized();
|
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);
|
2019-10-09 17:41:49 +02:00
|
|
|
void _search(bool p_search_previous = false);
|
2014-02-10 02:10:30 +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();
|
2020-11-29 04:42:06 +01:00
|
|
|
static DocTools *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);
|
2020-11-29 03:37:57 +01:00
|
|
|
void update_doc();
|
2014-02-21 03:01:44 +01:00
|
|
|
|
2020-03-17 07:33:00 +01:00
|
|
|
Vector<Pair<String, int>> get_sections();
|
2017-09-14 02:56:37 +02:00
|
|
|
void scroll_to_section(int p_section_index);
|
|
|
|
|
2015-11-17 13:46:08 +01:00
|
|
|
void popup_search();
|
2019-10-09 17:41:49 +02:00
|
|
|
void search_again(bool p_search_previous = false);
|
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
|
|
|
|
2020-04-06 23:40:06 +02:00
|
|
|
class EditorHelpBit : public MarginContainer {
|
|
|
|
GDCLASS(EditorHelpBit, MarginContainer);
|
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
|
|
|
|
2020-03-20 21:51:53 +01:00
|
|
|
String text;
|
|
|
|
|
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
|