godot/editor/themes
Matt Enad d4ac3fabac Fix main button margins in custom themes
Defined more theme variations and styleboxes for those variations to work around an issue where external editor themes would apply incorrect margins to certain buttons. This should eliminate clipping/alignment issues while a custom theme is in use.

Also simplified the step where margins are copied over thanks to @Rindbee 's suggestion
2024-03-13 15:38:09 -04:00
..
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_builders.py SCons: Remove run_in_subprocess dependency 2024-03-11 13:20:09 -05:00
editor_theme_manager.cpp Fix main button margins in custom themes 2024-03-13 15:38:09 -04:00
editor_theme_manager.h
editor_theme.cpp
editor_theme.h
SCsub