seedlingattempt/godot
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

General cleanup of script and doc search bars

Browse Source
This commit is contained in:
Michael Alexsander Silva Dias
2019-02-10 14:17:29 -02:00
parent 0f5a4fa7d5
commit 4fd7115e13
5 changed files with 18 additions and 65 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
editor/editor_help.h
View File

@ -34,6 +34,7 @@
#include "editor/code_editor.h"
#include "editor/doc/doc_data.h"
#include "editor/editor_plugin.h"
#include "scene/gui/margin_container.h"
#include "scene/gui/menu_button.h"
#include "scene/gui/panel_container.h"
#include "scene/gui/rich_text_label.h"
@ -52,10 +53,6 @@ class FindBar : public HBoxContainer {
TextureButton *hide_button;
String prev_search;
Control *container;
HBoxContainer *hbc;
VBoxContainer *vbc_search_text;
RichTextLabel *rich_text_label;
void _show_search();
@ -191,9 +188,9 @@ public:
~EditorHelp();
};
class EditorHelpBit : public PanelContainer {
class EditorHelpBit : public MarginContainer {
GDCLASS(EditorHelpBit, PanelContainer);
GDCLASS(EditorHelpBit, MarginContainer);
RichTextLabel *rich_text;
void _go_to_help(String p_what);