Add comment about pixel alignment

juancampa · juancampa · commit 679ee93e0397 · 2024-12-02T20:29:36.000-05:00
diff --git a/crates/egui/src/text_selection/visuals.rs b/crates/egui/src/text_selection/visuals.rs
@@ -96,6 +96,8 @@ pub fn paint_text_selection(
 pub fn paint_cursor_end(painter: &Painter, visuals: &Visuals, cursor_rect: Rect) {
     let stroke = visuals.text_cursor.stroke;
 
+    // Ensure the cursor is aligned to the pixel grid for whole number widths.
+    // See https://github.com/emilk/egui/issues/5164
     let (top, bottom) = if (stroke.width as usize) % 2 == 0 {
         (
             painter.round_pos_to_pixels(cursor_rect.center_top()),

Original file line number	Diff line number	Diff line change
`@@ -96,6 +96,8 @@ pub fn paint_text_selection(`
`96`	`96`	`pub fn paint_cursor_end(painter: &Painter, visuals: &Visuals, cursor_rect: Rect) {`
`97`	`97`	`let stroke = visuals.text_cursor.stroke;`
`98`	`98`
	`99`	`+ // Ensure the cursor is aligned to the pixel grid for whole number widths.`
	`100`	`+ // See https://github.com/emilk/egui/issues/5164`
`99`	`101`	`let (top, bottom) = if (stroke.width as usize) % 2 == 0 {`
`100`	`102`	`(`
`101`	`103`	`painter.round_pos_to_pixels(cursor_rect.center_top()),`