mirror/godot
2
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2024-12-15 10:12:40 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #37643 from YeldhamDev/help_tooltip_paneless

Browse Source 
Remove unnecessary panel in EditorHelpBit
This commit is contained in:
Rémi Verschelde 2020-04-07 08:48:37 +02:00 committed by GitHub
commit fedf9c5c94
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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