Hi, am I the only one who sees that we paint lines instead of dots for \dots, \ddots, \dddots etc. in mathed?
The fix seems to be so trivial that I wonder whether I am missing something? Attached is the fix (two short lines make it to something which looks like a dot). Attached is the solutions for \ddot and can be easily fixed for the rest of the cases. Any objections if I commit fix for all those? Pavel
diff --git a/src/mathed/MathSupport.cpp b/src/mathed/MathSupport.cpp index 0e2dc81e7b..db6f7c45c4 100644 --- a/src/mathed/MathSupport.cpp +++ b/src/mathed/MathSupport.cpp @@ -294,6 +294,7 @@ double const hline[] = { double const ddot[] = { + 1, 0.2, 0.4, 0.3, 0.4, 1, 0.2, 0.5, 0.3, 0.5, 1, 0.7, 0.5, 0.8, 0.5, 0