diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-02 07:50:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-02 07:50:20 +0200 |
| commit | 536b5b69aba7b0e1495a595d4ce887a84fb8e475 (patch) | |
| tree | 091e2e1f906879c8a9d91c714c61ab3731adf37d /editor/editor_themes.cpp | |
| parent | 8cce479c01f73b7f0b65e65a431bc4d0312db00e (diff) | |
| parent | 86798d36db48674d3d40986038acc397b5f88479 (diff) | |
Merge pull request #63789 from YuriSizov/editor-remove-old-property-widgets
Remove `CustomPropertyEditor` completely
Diffstat (limited to 'editor/editor_themes.cpp')
| -rw-r--r-- | editor/editor_themes.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editor/editor_themes.cpp b/editor/editor_themes.cpp index da7105c94c..02380c4e39 100644 --- a/editor/editor_themes.cpp +++ b/editor/editor_themes.cpp @@ -1660,6 +1660,9 @@ Ref<Theme> create_editor_theme(const Ref<Theme> p_theme) { style_dictionary_add_item->set_expand_margin_size(SIDE_RIGHT, 4 * EDSCALE); theme->set_stylebox("DictionaryAddItem", "EditorStyles", style_dictionary_add_item); + Ref<StyleBoxEmpty> vshader_label_style = make_empty_stylebox(2, 1, 2, 1); + theme->set_stylebox("label_style", "VShaderEditor", vshader_label_style); + // adaptive script theme constants // for comments and elements with lower relevance const Color dim_color = Color(font_color.r, font_color.g, font_color.b, 0.5); |