Revert "XHTML: remove DOCTYPE, as the document is then understood as HTML4/XHTML1...

[lyx.git] / src / mathed / MathRow.cpp

diff --git a/src/mathed/MathRow.cpp b/src/mathed/MathRow.cpp
index 783e85ab54ab2b6452adcd0bf907f45a4370e1de..d78815acf3ffba8ed6c26eb671c9c41c479aa786 100644 (file)
--- a/src/mathed/MathRow.cpp
+++ b/src/mathed/MathRow.cpp
@@ -18,6 +18,7 @@
 #include "MathSupport.h"
 
 #include "BufferView.h"
+#include "ColorSet.h"
 #include "CoordCache.h"
 #include "MetricsInfo.h"
 
@@ -49,8 +50,16 @@ namespace {
 
 int markerMargin(MathRow::Element const & e)
 {
-       return e.marker == InsetMath::MARKER
-               || e.marker == InsetMath::MARKER2;
+       switch(e.marker) {
+       case InsetMath::MARKER:
+       case InsetMath::MARKER2:
+       case InsetMath::BOX_MARKER:
+               return 2;
+       case InsetMath::NO_MARKER:
+               return 0;
+       }
+       // should not happen
+       return 0;
 }
 
 
@@ -70,13 +79,14 @@ void afterMetricsMarkers(MetricsInfo const & , MathRow::Element & e,
                break;
        case InsetMath::BOX_MARKER:
                FontInfo font;
-               font.setSize(FONT_SIZE_TINY);
+               font.setSize(TINY_SIZE);
                Dimension namedim;
                mathed_string_dim(font, e.inset->name(), namedim);
                int const namewid = 1 + namedim.wid + 1;
 
                if (namewid > dim.wid)
                        e.after += namewid - dim.wid;
+               ++dim.asc;
                dim.des += 3 + namedim.height();
        }
 }
@@ -92,44 +102,49 @@ void drawMarkers(PainterInfo const & pi, MathRow::Element const & e,
        Dimension const dim = coords.getInsets().dim(e.inset);
 
        // the marker is before/after the inset. Necessary space has been reserved already.
-       int const l = x + e.before - markerMargin(e);
+       int const l = x + e.before - (markerMargin(e) > 0 ? 1 : 0);
        int const r = x + dim.width() - e.after;
 
+       // Grey lower box
        if (e.marker == InsetMath::BOX_MARKER) {
                // draw header and rectangle around
                FontInfo font;
-               font.setSize(FONT_SIZE_TINY);
+               font.setSize(TINY_SIZE);
                font.setColor(Color_mathmacrolabel);
                Dimension namedim;
                mathed_string_dim(font, e.inset->name(), namedim);
                pi.pain.fillRectangle(l, y + dim.des - namedim.height() - 2,
                                      dim.wid, namedim.height() + 2, Color_mathmacrobg);
                pi.pain.text(l, y + dim.des - namedim.des - 1, e.inset->name(), font);
-               return;
        }
 
-       // Now markers with corners
+       // Color for corners
        bool const highlight = e.inset->mouseHovered(pi.base.bv)
                               || e.inset->editing(pi.base.bv);
        ColorCode const pen_color = highlight ? Color_mathframe : Color_mathcorners;
+       // If the corners have the same color as the background, do not paint them.
+       if (lcolor.getX11HexName(Color_mathbg) == lcolor.getX11HexName(pen_color))
+               return;
 
+       // Lower corners in all cases
        int const d = y + dim.descent();
        pi.pain.line(l, d - 3, l, d, pen_color);
        pi.pain.line(r, d - 3, r, d, pen_color);
        pi.pain.line(l, d, l + 3, d, pen_color);
        pi.pain.line(r - 3, d, r, d, pen_color);
 
-       if (e.marker == InsetMath::MARKER)
-               return;
-
-       int const a = y - dim.ascent();
-       pi.pain.line(l, a + 3, l, a, pen_color);
-       pi.pain.line(r, a + 3, r, a, pen_color);
-       pi.pain.line(l, a, l + 3, a, pen_color);
-       pi.pain.line(r - 3, a, r, a, pen_color);
+       // Upper corners
+       if (e.marker == InsetMath::BOX_MARKER
+           || e.marker == InsetMath::MARKER2) {
+               int const a = y - dim.ascent();
+               pi.pain.line(l, a + 3, l, a, pen_color);
+               pi.pain.line(r, a + 3, r, a, pen_color);
+               pi.pain.line(l, a, l + 3, a, pen_color);
+               pi.pain.line(r - 3, a, r, a, pen_color);
+       }
 }
 
-}
+} // namespace
 
 
 MathRow::MathRow(MetricsInfo & mi, MathData const * ar)
@@ -221,7 +236,6 @@ int MathRow::after(int i) const
 
 void MathRow::metrics(MetricsInfo & mi, Dimension & dim)
 {
-       dim.asc = 0;
        dim.wid = 0;
        // In order to compute the dimension of macros and their
        // arguments, it is necessary to keep track of them.
@@ -312,6 +326,9 @@ void MathRow::draw(PainterInfo & pi, int x, int const y) const
                        Dimension d2 = d;
                        d2.wid -= e.before + e.after;
                        coords.insets().add(e.inset, d2);
+                       if (pi.pain.develMode() && !e.inset->isBufferValid())
+                               pi.pain.fillRectangle(x + e.before, y - d2.ascent(),
+                                                     d2.width(), d2.height(), Color_error);
                        e.inset->draw(pi, x + e.before, y);
                        coords.insets().add(e.inset, x, y);
                        coords.insets().add(e.inset, d);
@@ -362,12 +379,14 @@ void MathRow::draw(PainterInfo & pi, int x, int const y) const
 
                if (!s1.empty()) {
                        f.setColor(Color_inlinecompletion);
-                       pi.pain.text(x, y, s1, f);
+                       // offset the text by e.after to make sure that the
+                       // spacing is after the completion, not before.
+                       pi.pain.text(x - e.after, y, s1, f);
                        x += mathed_string_width(f, s1);
                }
                if (!s2.empty()) {
                        f.setColor(Color_nonunique_inlinecompletion);
-                       pi.pain.text(x, y, s2, f);
+                       pi.pain.text(x - e.after, y, s2, f);
                        x += mathed_string_width(f, s2);
                }
        }