Caret · whole device pixels at a device pixel: gpui snapped a 1.5px bar's edges apart, so it painted 1 or 2 pixels by where it stood (#7)

tasks/github.md

@@ -16,7 +16,7 @@
 # GitHub round, 2026-10-08
 
 - [x] G10 CI: `cargo fmt` on the files the last commits left unformatted
-- [ ] G11 Issue #7: a caret is a whole number of device pixels wide at a device pixel, so it never shows thin then thick; tested
+- [x] G11 Issue #7: a caret is a whole number of device pixels wide at a device pixel, so it never shows thin then thick; tested
 - [ ] G12 Issue #7: an IME asks for its candidate box past the laid-out text; the box clamps to the last layout, as `bounds_for` does; tested
 - [ ] G13 Issue #12: a floating option list occludes, so the wheel scrolls the list and not the page under it; tested
 - [ ] G14 Issue #7: BlockEditor scrolls in its own `ScrollArea` with its scrollbar and keeps the caret in view as blocks are added; tested