Gremlinsoft
/
godot-minimal-theme
mirror of https://github.com/passivestar/godot-minimal-theme.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix EditorObjectSelector margins

pull/39/head
passivestar 2025-06-20 02:28:09 +07:00
parent 70d4b6f12d
commit f4efe04db4
1 changed files with 17 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
minimal_theme.tres
Unescape Escape View File

@ -880,17 +880,18 @@ func _init() -> void:
# This section is for workarounds for unthemable UI # This section is for workarounds for unthemable UI
# These could be fixed on the engine side in the future # These could be fixed on the engine side in the future
# TilesetEditor
# Tileset editor is using Tree panel for the panel container of expanded view, while minimal theme
# needs trees to be transparent, so it needs to have an explicitly set style for the theme
# to still be able to support transparent Trees
# See https://github.com/godotengine/godot/issues/99118
(func() -> void: (func() -> void:
# Check to see if we're running in project manager # Check to see if we're running in project manager
if EditorInterface.get_script_editor() == null: if EditorInterface.get_script_editor() == null:
return return
# TilesetEditor
# Tileset editor is using Tree panel for the panel container of expanded view, while minimal theme
# needs trees to be transparent, so it needs to have an explicitly set style for the theme
# to still be able to support transparent Trees
# See https://github.com/godotengine/godot/issues/99118
var tileset_editor : Control = EditorInterface.get_base_control().find_children('', 'TileSetEditor', true, false)[0] var tileset_editor : Control = EditorInterface.get_base_control().find_children('', 'TileSetEditor', true, false)[0]
var expand_panel : Control = tileset_editor.get_child(3) var expand_panel : Control = tileset_editor.get_child(3)
var panel_sb : StyleBoxFlat = base_sb.duplicate() var panel_sb : StyleBoxFlat = base_sb.duplicate()
@ -899,6 +900,16 @@ func _init() -> void:
var _error : int = tileset_editor.theme_changed.connect(func() -> void: var _error : int = tileset_editor.theme_changed.connect(func() -> void:
expand_panel.add_theme_stylebox_override('panel', panel_sb) expand_panel.add_theme_stylebox_override('panel', panel_sb)
) )
# EditorObjectSelector
# Godot sometimes relies on unexposed MarginContainers
var editor_object_selector : Control = EditorInterface.get_base_control().find_children('', 'EditorObjectSelector', true, false)[0]
var editor_object_selector_margin_container : Control = editor_object_selector.find_children('', 'MarginContainer', true, false)[0]
editor_object_selector_margin_container.add_theme_constant_override('margin_left', base_margin * 2 * scale)
editor_object_selector_margin_container.add_theme_constant_override('margin_right', base_margin * 2 * scale)
).call_deferred() ).call_deferred()
# Lighten base color in dark theme, darken in light theme, clamp # Lighten base color in dark theme, darken in light theme, clamp