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

Make main editor window border margin controllable by theme

Browse Source
This commit is contained in:
David Giardi
2023-03-11 14:30:55 +01:00
parent 6101240231
commit a8fc343f80
2 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
editor/editor_themes.cpp
View File

@@ -626,6 +626,8 @@ Ref<Theme> create_editor_theme(const Ref<Theme> p_theme) {
theme->set_constant("dark_theme", "Editor", dark_theme);
theme->set_constant("color_picker_button_height", "Editor", 28 * EDSCALE);
theme->set_constant("gizmo_handle_scale", "Editor", gizmo_handle_scale);
theme->set_constant("window_border_margin", "Editor", 8);
theme->set_constant("top_bar_separation", "Editor", 8 * EDSCALE);
// Register editor icons.
// If the settings are comparable to the old theme, then just copy them over.