commit a5fd5d3cd2c19592e528a8890b0f22be6c4cbbeb
Author: Jean-Marc Lasgouttes <[email protected]>
Date: Mon Feb 22 19:35:08 2021 +0100
"12 pixels ought to be enough for anyone"
Fixes bug #12153.
---
src/mathed/InsetMathHull.cpp | 8 ++------
1 files changed, 2 insertions(+), 6 deletions(-)
diff --git a/src/mathed/InsetMathHull.cpp b/src/mathed/InsetMathHull.cpp
index bcde5d3..b885f63 100644
--- a/src/mathed/InsetMathHull.cpp
+++ b/src/mathed/InsetMathHull.cpp
@@ -480,13 +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)
- We use the 'mean' value (12 + 5) / 2 = 8.5pt.
- FIXME: make this dependent of current size? (minor improvement)
- FIXME: if would be nice if this was not part of the inset, but
- just increased the row ascent/descent.
- FIXME: even better would be to handle the short skip case.
+ But 12 pixels is what we are used to.
*/
- int const bottom_display_margin = mi.base.inPixels(Length(8.5,
Length::PT));
+ int const bottom_display_margin = 12;
int top_display_margin = bottom_display_margin;
// at start of paragraph, add an empty line
if (mi.vmode)
--
lyx-cvs mailing list
[email protected]
http://lists.lyx.org/mailman/listinfo/lyx-cvs
