Clearer window title bars
Sharper title bars and steadier window edges.
- Improved the contrast of the title text and buttons on window title bars.
- Tidied up a doubled-up divider line that showed under window titles.
- Fixed a bug where dragging a window’s edge to resize it could suddenly jump to a different edge or window.