mirror of
https://gitea.wildfiregames.com/0ad/0ad
synced 2026-06-20 07:13:56 -07:00
31d7e4c97f
This improves the styling of the header of the profiler2 UI, by applying the following changes: - change the spinner animation to actually look like a spinner - ensure open reports don't overflow the nav bar - reduce the size of the server port input field - add some paddings to make everything look more pleasing |
||
|---|---|---|
| .. | ||
| collada | ||
| graphics | ||
| gui | ||
| i18n | ||
| lib | ||
| lobby | ||
| maths | ||
| mocks | ||
| network | ||
| pch | ||
| ps | ||
| renderer | ||
| rlinterface | ||
| scriptinterface | ||
| simulation2 | ||
| soundmanager | ||
| third_party | ||
| tools | ||
| main.cpp | ||
| test_setup.cpp | ||