From bc806084cdc2c1008bf222da63b7fc52570dc5c5 Mon Sep 17 00:00:00 2001
From: Enrico Forestieri <forenr@lyx.org>
Date: Mon, 1 Feb 2021 20:02:37 +0100
Subject: [PATCH] Improve appearance of dots at higher zoom levels

Make \dot, \ddot and friends more round when increasing zoom

Part of #11491
---
 src/mathed/MathSupport.cpp | 50 ++++++++++++++++++++++++++++++++------
 1 file changed, 42 insertions(+), 8 deletions(-)

diff --git a/src/mathed/MathSupport.cpp b/src/mathed/MathSupport.cpp
index 4ebd8c5a15..cc8927fe7a 100644
--- a/src/mathed/MathSupport.cpp
+++ b/src/mathed/MathSupport.cpp
@@ -644,14 +644,48 @@ void mathed_draw_deco(PainterInfo & pi, int x, int y, int w, int h,
 				int(x + x2 + 0.5), int(y + y2 + 0.5),
 				pi.base.font.color(), Painter::line_solid, lw);
 			if (code == 5) {  // thicker, but rounded
-				pi.pain.line(
-					int(x + xx + 0.5+1), int(y + yy + 0.5-1),
-					int(x + x2 + 0.5-1), int(y + y2 + 0.5-1),
-				pi.base.font.color(), Painter::line_solid, lw);
-				pi.pain.line(
-					int(x + xx + 0.5+1), int(y + yy + 0.5+1),
-					int(x + x2 + 0.5-1), int(y + y2 + 0.5+1),
-				pi.base.font.color(), Painter::line_solid, lw);
+				double const xa = x + xx + 0.5;
+				double const xb = x + x2 + 0.5;
+				double const ya = y + yy + 0.5;
+				double const yb = y + y2 + 0.5;
+				pi.pain.line(int(xa + 1), int(ya - 1),
+				             int(xb - 1), int(yb - 1),
+				             pi.base.font.color(),
+				             Painter::line_solid, lw);
+				pi.pain.line(int(xa + 1), int(ya + 1),
+				             int(xb - 1), int(yb + 1),
+				             pi.base.font.color(),
+				             Painter::line_solid, lw);
+				if (xa + 2 <= xb - 2) {
+					pi.pain.line(int(xa + 2), int(ya - 2),
+						     int(xb - 2), int(yb - 2),
+						     pi.base.font.color(),
+						     Painter::line_solid, lw);
+					pi.pain.line(int(xa + 2), int(ya + 2),
+						     int(xb - 2), int(yb + 2),
+						     pi.base.font.color(),
+						     Painter::line_solid, lw);
+				}
+				if (xa + 3 <= xb - 3) {
+					pi.pain.line(int(xa + 3), int(ya - 3),
+						     int(xb - 3), int(yb - 3),
+						     pi.base.font.color(),
+						     Painter::line_solid, lw);
+					pi.pain.line(int(xa + 3), int(ya + 3),
+						     int(xb - 3), int(yb + 3),
+						     pi.base.font.color(),
+						     Painter::line_solid, lw);
+				}
+				if (xa + 4 <= xb - 4) {
+					pi.pain.line(int(xa + 4), int(ya - 4),
+						     int(xb - 4), int(yb - 4),
+						     pi.base.font.color(),
+						     Painter::line_solid, lw);
+					pi.pain.line(int(xa + 4), int(ya + 4),
+						     int(xb - 4), int(yb + 4),
+						     pi.base.font.color(),
+						     Painter::line_solid, lw);
+				}
 			}
 		} else {
 			int xp[32];
-- 
2.39.2