Improve fix for #12153

Use a WYSIWYM approach instead of a WYSIWYG one.

diff --git a/src/mathed/InsetMathHull.cpp b/src/mathed/InsetMathHull.cpp
index b885f63bea7f3714c095b01b2ff49aa058e960ec..1c3d70e2cb2f9c1f7470104272deea31c9cfc280 100644 (file)
--- a/src/mathed/InsetMathHull.cpp
+++ b/src/mathed/InsetMathHull.cpp
@@ -480,9 +480,9 @@ void InsetMathHull::metrics(MetricsInfo & mi, Dimension & dim) const
 {
        /* Compute \(above|below)displayskip
           true value in LaTeX is 10pt plus 2pt minus 5pt (in normal size at 10pt)
-          But 12 pixels is what we are used to.
+          But we use a fixed number of pixels and scale them with zoom.
        */
-       int const bottom_display_margin = 12;
+       int const bottom_display_margin = mi.base.bv->zoomedPixels(6);
        int top_display_margin = bottom_display_margin;
        // at start of paragraph, add an empty line
        if (mi.vmode)