cosmetics: move numerator and denominator in fravctions closer together

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@3283 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/src/mathed/math_fracinset.C b/src/mathed/math_fracinset.C
index c1f8f23ff4bfa78e7a965a23028803eee7206da4..5b560c88a35804c8f9fa83583f0780f61c662f7d 100644 (file)
--- a/src/mathed/math_fracinset.C
+++ b/src/mathed/math_fracinset.C
@@ -32,16 +32,16 @@ void MathFracInset::metrics(MathMetricsInfo const & mi) const
        xcell(0).metrics(m);
        xcell(1).metrics(m);
        width_   = std::max(xcell(0).width(), xcell(1).width()) + 4; 
-       ascent_  = xcell(0).height() + 4 + 5;
-       descent_ = xcell(1).height() + 4 - 5; 
+       ascent_  = xcell(0).height() + 2 + 5;
+       descent_ = xcell(1).height() + 2 - 5; 
 }
 
 
 void MathFracInset::draw(Painter & pain, int x, int y) const
 {
        int m = x + width() / 2;
-       xcell(0).draw(pain, m - xcell(0).width() / 2, y - xcell(0).descent() - 3 - 5);
-       xcell(1).draw(pain, m - xcell(1).width() / 2, y + xcell(1).ascent()  + 3 - 5);
+       xcell(0).draw(pain, m - xcell(0).width() / 2, y - xcell(0).descent() - 2 - 5);
+       xcell(1).draw(pain, m - xcell(1).width() / 2, y + xcell(1).ascent()  + 2 - 5);
        if (!atop_)
                pain.line(x + 2, y - 5, x + width() - 4, y - 5, LColor::math);
 }

diff --git a/src/mathed/math_stackrelinset.C b/src/mathed/math_stackrelinset.C
index 75ccb8710aec5892bf07e114eb7235e2940f4663..2c2e1887519c6a1413f082cb60899d1ad98e9302 100644 (file)
--- a/src/mathed/math_stackrelinset.C
+++ b/src/mathed/math_stackrelinset.C
@@ -31,8 +31,9 @@ void MathStackrelInset::metrics(MathMetricsInfo const & mi) const
 
 void MathStackrelInset::draw(Painter & pain, int x, int y) const
 {
-       int m = x + width() / 2;
-       xcell(0).draw(pain, m - xcell(0).width() / 2, y - xcell(0).height() - 4);
+       int m  = x + width() / 2;
+       int yo = y - xcell(1).ascent() - xcell(0).descent() - 1;
+       xcell(0).draw(pain, m - xcell(0).width() / 2, yo);
        xcell(1).draw(pain, m - xcell(1).width() / 2, y);
 }