mirror of https://github.com/godotengine/godot
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 |
||
|---|---|---|
| .. | ||
| 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 | ||
| editor_theme_manager.h | ||