maxmustermann/godot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Remove unnecessary panel in EditorHelpBit

Browse source
This commit is contained in:
Michael Alexsander 2020-04-06 18:40:06 -03:00
parent e0a9879ce4
commit 446ca21efa
2 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
editor/editor_help.h
View file

@ -192,9 +192,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);

2
editor/editor_themes.cpp
View file

@ -977,8 +977,6 @@ Ref<Theme> create_editor_theme(const Ref<Theme> p_theme) {
theme->set_stylebox("focus", "RichTextLabel", make_empty_stylebox());
theme->set_stylebox("normal", "RichTextLabel", style_tree_bg);
theme->set_stylebox("panel", "EditorHelpBit", make_flat_stylebox(dark_color_1, 6, 4, 6, 4));
theme->set_color("headline_color", "EditorHelp", mono_color);
// Panel