diff options
| author | volzhs | 2017-09-07 06:25:57 +0900 |
|---|---|---|
| committer | volzhs | 2017-09-07 06:25:57 +0900 |
| commit | 41cc85fb201f2b83461a52300aeca9a2ac0b2bcc (patch) | |
| tree | 8269fc7ddc5fc844b0097dc9dc8be3a150a2d35e /editor/editor_themes.cpp | |
| parent | 0b8fa1e01068af9924742ade2625e021ccd2c5a8 (diff) | |
| download | godot-41cc85fb201f2b83461a52300aeca9a2ac0b2bcc.tar.gz godot-41cc85fb201f2b83461a52300aeca9a2ac0b2bcc.tar.zst godot-41cc85fb201f2b83461a52300aeca9a2ac0b2bcc.zip | |
Fit script editor grid with others
Diffstat (limited to 'editor/editor_themes.cpp')
| -rw-r--r-- | editor/editor_themes.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editor/editor_themes.cpp b/editor/editor_themes.cpp index 19356aad3..ff0e794a2 100644 --- a/editor/editor_themes.cpp +++ b/editor/editor_themes.cpp @@ -295,6 +295,10 @@ Ref<Theme> create_editor_theme(const Ref<Theme> p_theme) { theme->set_stylebox("panel", "PanelContainer", style_menu); theme->set_stylebox("MenuPanel", "EditorStyles", style_menu); + // Script Editor + theme->set_stylebox("ScriptEditorPanel", "EditorStyles", make_empty_stylebox(4, 0, 4, 4)); + theme->set_stylebox("ScriptEditor", "EditorStyles", make_empty_stylebox(0, 0, 0, 0)); + // Play button group theme->set_stylebox("PlayButtonPanel", "EditorStyles", make_empty_stylebox(8, 4, 8, 4)); //make_stylebox(theme->get_icon("GuiPlayButtonGroup", "EditorIcons"), 16, 16, 16, 16, 8, 4, 8, 4)); |