2058dcb881
This improves the sharpness of text slightly, thanks to <https://hikogui.org/2022/10/24/the-trouble-with-anti-aliasing.html> by @hikogui (🙏 ). The difference is very small, but in dark mode (bright text on dark background) text is sometimes significantly sharper, and also slightly brighter. The difference in light mode (dark text on light background) is much smaller (barely perceptable). To compare the before/after I suggest you open both in new tabs, then quickly change between them. ### Low-DPI #### Before  #### After  #### Before  #### After  ### High-DPI The difference is starkest on low-DPI screens (like the above screenshots). On high-DPI screens, the difference is much smaller #### Before  #### After  |
||
|---|---|---|
| .. | ||
| snapshots | ||
| accesskit.rs | ||
| menu.rs | ||
| popup.rs | ||
| regression_tests.rs | ||
| tests.rs | ||