godot/editor/themes
Yuri Sizov dc3b07e551 Introduce editor theme spacing presets
This change adds a new editor setting related to theming
which controls base and additional spacing used in the
generated editor theme. These values can also be changed
manually by the user to customize their experience.

Limited effort was applied to make sure both Compact and
Spacious presets work and look fine, but further tuning
and adjustments are totally expected. Some controls will
require layout changes or additional fixes to their constants.
2024-01-16 11:57:45 +01:00
..
SCsub
editor_color_map.cpp
editor_color_map.h
editor_fonts.cpp
editor_fonts.h
editor_icons.cpp
editor_icons.h
editor_scale.cpp
editor_scale.h
editor_theme.cpp
editor_theme.h
editor_theme_builders.py
editor_theme_manager.cpp Introduce editor theme spacing presets 2024-01-16 11:57:45 +01:00
editor_theme_manager.h Introduce editor theme spacing presets 2024-01-16 11:57:45 +01:00