From 446ca21efa2dce8145ba95e4fe4d450fd4f7aca9 Mon Sep 17 00:00:00 2001
From: Michael Alexsander <michaelalexsander@protonmail.com>
Date: Mon, 6 Apr 2020 18:40:06 -0300
Subject: [PATCH] Remove unnecessary panel in EditorHelpBit

---
 editor/editor_help.h     | 4 ++--
 editor/editor_themes.cpp | 2 --
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/editor/editor_help.h b/editor/editor_help.h
index d9c71940037..2e053e674fb 100644
--- a/editor/editor_help.h
+++ b/editor/editor_help.h
@@ -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);
diff --git a/editor/editor_themes.cpp b/editor/editor_themes.cpp
index a9af29ddf24..37bca661dde 100644
--- a/editor/editor_themes.cpp
+++ b/editor/editor_themes.cpp
@@ -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