godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-05 12:10:55 +00:00
Code Releases Wiki Activity

Merge pull request #10901 from toger5/script_background_cleanup

Browse Source 
StyleBoxSupport for RichTextLabel and cleanup for script+docs backgrounds fixes #10685
This commit is contained in:
Rémi Verschelde
2017-09-04 08:05:17 +02:00
committed by GitHub
parent ec8f44ed5f b606285219
commit fb263b73aa
8 changed files with 33 additions and 46 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
editor/plugins/script_editor_plugin.cpp
View File

@@ -1157,8 +1157,6 @@ void ScriptEditor::_notification(int p_what) {
case EditorSettings::NOTIFICATION_EDITOR_SETTINGS_CHANGED: {
tab_container->add_style_override("panel", editor->get_gui_base()->get_stylebox("ScriptPanel", "EditorStyles"));
help_search->set_icon(get_icon("HelpSearch", "EditorIcons"));
site_search->set_icon(get_icon("Instance", "EditorIcons"));
class_search->set_icon(get_icon("ClassList", "EditorIcons"));
@@ -2218,7 +2216,6 @@ ScriptEditor::ScriptEditor(EditorNode *p_editor) {
members_overview->set_v_size_flags(SIZE_EXPAND_FILL);
tab_container = memnew(TabContainer);
tab_container->add_style_override("panel", p_editor->get_gui_base()->get_stylebox("ScriptPanel", "EditorStyles"));
tab_container->set_tabs_visible(false);
script_split->add_child(tab_container);