Make icons look sharp with HiDPI
There are more changes (e.g. slider and play button) needed but this
fixes at least some issues.
Description
Description
Details
Details
- Committed
heikobecker Apr 12 2020, 9:32 PM - Parents
- R181:fa9cae980836: Port from {from,to}Time_t to {from,to}SecsSinceEpoch
- Branches
- Unknown
- Tags