mirror of
https://github.com/godotengine/godot.git
synced 2024-12-21 10:25:24 +08:00
d4ac3fabac
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 |
||
---|---|---|
.. | ||
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 | ||
editor_theme_manager.cpp | ||
editor_theme_manager.h | ||
editor_theme.cpp | ||
editor_theme.h | ||
SCsub |