]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/InsetMathScript.cpp
Improve metrics for \limits in display mode
[lyx.git] / src / mathed / InsetMathScript.cpp
index ee18314316dd703d5c2dec937b9a90100b7dbc44..c461c9ca748d14232a04ddc5e35fb641351e6bd6 100644 (file)
@@ -3,7 +3,7 @@
  * This file is part of LyX, the document processor.
  * Licence details can be found in the file COPYING.
  *
- * \author André Pönitz
+ * \author André Pönitz
  *
  * Full author contact details are available in file CREDITS.
  */
 #include <config.h>
 
 #include "InsetMathScript.h"
-#include "MathArray.h"
+
+#include "InsetMathBrace.h"
+#include "InsetMathSymbol.h"
+#include "MathData.h"
 #include "MathStream.h"
 #include "MathSupport.h"
-#include "InsetMathSymbol.h"
-#include "InsetMathFont.h"
-#include "DispatchResult.h"
+
+#include "BufferView.h"
 #include "Cursor.h"
-#include "debug.h"
+#include "DispatchResult.h"
 #include "FuncRequest.h"
-#include "Undo.h"
-
-#include <boost/assert.hpp>
+#include "FuncStatus.h"
+#include "LaTeXFeatures.h"
+#include "MetricsInfo.h"
 
+#include "support/debug.h"
+#include "support/gettext.h"
+#include "support/lassert.h"
 
-namespace lyx {
 
-using std::string;
-using std::max;
-using std::auto_ptr;
-using std::endl;
+using namespace std;
 
+namespace lyx {
 
 
-InsetMathScript::InsetMathScript()
-       : InsetMathNest(1), cell_1_is_up_(false), limits_(0)
+InsetMathScript::InsetMathScript(Buffer * buf)
+       : InsetMathNest(buf, 1), cell_1_is_up_(false), limits_(0)
 {}
 
 
-InsetMathScript::InsetMathScript(bool up)
-       : InsetMathNest(2), cell_1_is_up_(up), limits_(0)
+InsetMathScript::InsetMathScript(Buffer * buf, bool up)
+       : InsetMathNest(buf, 2), cell_1_is_up_(up), limits_(0)
 {}
 
 
-InsetMathScript::InsetMathScript(MathAtom const & at, bool up)
-       : InsetMathNest(2), cell_1_is_up_(up), limits_(0)
+InsetMathScript::InsetMathScript(Buffer * buf, MathAtom const & at, bool up)
+       : InsetMathNest(buf, 2), cell_1_is_up_(up), limits_(0)
 {
-       BOOST_ASSERT(nargs() >= 1);
+       LATTEST(nargs() >= 1);
        cell(0).push_back(at);
 }
 
 
-auto_ptr<InsetBase> InsetMathScript::doClone() const
+Inset * InsetMathScript::clone() const
 {
-       return auto_ptr<InsetBase>(new InsetMathScript(*this));
+       return new InsetMathScript(*this);
 }
 
 
@@ -86,34 +88,34 @@ bool InsetMathScript::idxLast(Cursor & cur) const
 }
 
 
-MathArray const & InsetMathScript::down() const
+MathData const & InsetMathScript::down() const
 {
        if (nargs() == 3)
                return cell(2);
-       BOOST_ASSERT(nargs() > 1);
+       LBUFERR(nargs() > 1);
        return cell(1);
 }
 
 
-MathArray & InsetMathScript::down()
+MathData & InsetMathScript::down()
 {
        if (nargs() == 3)
                return cell(2);
-       BOOST_ASSERT(nargs() > 1);
+       LBUFERR(nargs() > 1);
        return cell(1);
 }
 
 
-MathArray const & InsetMathScript::up() const
+MathData const & InsetMathScript::up() const
 {
-       BOOST_ASSERT(nargs() > 1);
+       LBUFERR(nargs() > 1);
        return cell(1);
 }
 
 
-MathArray & InsetMathScript::up()
+MathData & InsetMathScript::up()
 {
-       BOOST_ASSERT(nargs() > 1);
+       LBUFERR(nargs() > 1);
        return cell(1);
 }
 
@@ -122,63 +124,39 @@ void InsetMathScript::ensure(bool up)
 {
        if (nargs() == 1) {
                // just nucleus so far
-               cells_.push_back(MathArray());
+               cells_.push_back(MathData());
                cell_1_is_up_ = up;
        } else if (nargs() == 2 && !has(up)) {
                if (up) {
                        cells_.push_back(cell(1));
                        cell(1).clear();
                } else {
-                       cells_.push_back(MathArray());
+                       cells_.push_back(MathData());
                }
        }
 }
 
 
-MathArray const & InsetMathScript::nuc() const
+MathData const & InsetMathScript::nuc() const
 {
        return cell(0);
 }
 
 
-MathArray & InsetMathScript::nuc()
+MathData & InsetMathScript::nuc()
 {
        return cell(0);
 }
 
 
-namespace {
-
-bool isAlphaSymbol(MathAtom const & at)
-{
-       if (at->asCharInset() ||
-                       (at->asSymbolInset() &&
-                        at->asSymbolInset()->isOrdAlpha()))
-               return true;
-
-       if (at->asFontInset()) {
-               MathArray const & ar = at->asFontInset()->cell(0);
-               for (size_t i = 0; i < ar.size(); ++i) {
-                       if (!(ar[i]->asCharInset() ||
-                                       (ar[i]->asSymbolInset() &&
-                                        ar[i]->asSymbolInset()->isOrdAlpha())))
-                               return false;
-               }
-               return true;
-       }
-       return false;
-}
-
-} // namespace anon
-
-
-int InsetMathScript::dy01(int asc, int des, int what) const
+int InsetMathScript::dy01(BufferView const & bv, int asc, int des, int what) const
 {
        int dasc = 0;
        int slevel = 0;
-       bool isCharBox = nuc().size() ? isAlphaSymbol(nuc().back()) : false;
+       bool isCharBox = !nuc().empty() ? isAlphaSymbol(nuc().back()) : false;
        if (hasDown()) {
-               dasc = down().ascent();
+               Dimension const & dimdown = down().dimension(bv);
+               dasc = dimdown.ascent();
                slevel = nuc().slevel();
                int ascdrop = dasc - slevel;
                int desdrop = isCharBox ? 0 : des + nuc().sshift();
@@ -187,9 +165,10 @@ int InsetMathScript::dy01(int asc, int des, int what) const
                des = max(mindes, des);
        }
        if (hasUp()) {
+               Dimension const & dimup = up().dimension(bv);
                int minasc = nuc().minasc();
                int ascdrop = isCharBox ? 0 : asc - up().mindes();
-               int udes = up().descent();
+               int udes = dimup.descent();
                asc = udes + nuc().sshift();
                asc = max(ascdrop, asc);
                asc = max(minasc, asc);
@@ -210,144 +189,173 @@ int InsetMathScript::dy01(int asc, int des, int what) const
 }
 
 
-int InsetMathScript::dy0() const
+int InsetMathScript::dy0(BufferView const & bv) const
 {
-       int nd = ndes();
+       int nd = ndes(bv);
        if (!hasDown())
                return nd;
-       int des = down().ascent();
+       int des = down().dimension(bv).ascent();
        if (hasLimits())
                des += nd + 2;
        else {
-               int na = nasc();
-               des = dy01(na, nd, 0);
+               int na = nasc(bv);
+               des = dy01(bv, na, nd, 0);
        }
        return des;
 }
 
 
-int InsetMathScript::dy1() const
+int InsetMathScript::dy1(BufferView const & bv) const
 {
-       int na = nasc();
+       int na = nasc(bv);
        if (!hasUp())
                return na;
-       int asc = up().descent();
+       int asc = up().dimension(bv).descent();
        if (hasLimits())
                asc += na + 2;
        else {
-               int nd = ndes();
-               asc = dy01(na, nd, 1);
+               int nd = ndes(bv);
+               asc = dy01(bv, na, nd, 1);
        }
        asc = max(asc, 5);
        return asc;
 }
 
 
-int InsetMathScript::dx0() const
+int InsetMathScript::dx0(BufferView const & bv) const
 {
-       BOOST_ASSERT(hasDown());
-       return hasLimits() ? (dim_.wid - down().width()) / 2 : nwid();
+       LASSERT(hasDown(), return 0);
+       Dimension const dim = dimension(bv);
+       return hasLimits() ? (dim.wid - down().dimension(bv).width()) / 2
+               : nwid(bv) + min(nker(&bv), 0);
 }
 
 
-int InsetMathScript::dx1() const
+int InsetMathScript::dx1(BufferView const & bv) const
 {
-       BOOST_ASSERT(hasUp());
-       return hasLimits() ? (dim_.wid - up().width()) / 2 : nwid() + nker();
+       LASSERT(hasUp(), return 0);
+       Dimension const dim = dimension(bv);
+       return hasLimits() ? (dim.wid - up().dimension(bv).width()) / 2
+               : nwid(bv) + max(nker(&bv), 0);
 }
 
 
-int InsetMathScript::dxx() const
+int InsetMathScript::dxx(BufferView const & bv) const
 {
-       return hasLimits() ? (dim_.wid - nwid()) / 2  :  0;
+       Dimension const dim = dimension(bv);
+       return hasLimits() ? (dim.wid - nwid(bv)) / 2  :  0;
 }
 
 
-int InsetMathScript::nwid() const
+int InsetMathScript::nwid(BufferView const & bv) const
 {
-       return nuc().size() ? nuc().width() : 2;
+       return !nuc().empty() ? nuc().dimension(bv).width() : 2;
 }
 
 
-int InsetMathScript::nasc() const
+int InsetMathScript::nasc(BufferView const & bv) const
 {
-       return nuc().size() ? nuc().ascent() : 5;
+       return !nuc().empty() ? nuc().dimension(bv).ascent() : 5;
 }
 
 
-int InsetMathScript::ndes() const
+int InsetMathScript::ndes(BufferView const & bv) const
 {
-       return nuc().size() ? nuc().descent() : 0;
+       return !nuc().empty() ? nuc().dimension(bv).descent() : 0;
 }
 
 
-int InsetMathScript::nker() const
+int InsetMathScript::nker(BufferView const * bv) const
 {
-       if (nuc().size()) {
-               int kerning = nuc().kerning();
-               return kerning > 0 ? kerning : 0;
-       }
+       if (!nuc().empty())
+               return nuc().kerning(bv);
        return 0;
 }
 
 
-bool InsetMathScript::metrics(MetricsInfo & mi, Dimension & dim) const
+MathClass InsetMathScript::mathClass() const
 {
-       cell(0).metrics(mi);
-       ScriptChanger dummy(mi.base);
+       // FIXME: this is a hack, since the class will not be correct if
+       // the nucleus has several elements or if the last element is a math macro
+       // or a macro argument proxy.
+       // The correct implementation would require to linearize the nucleus.
+       if (nuc().empty())
+               return MC_ORD;
+       else {
+               // return the class of last element since this is the one that counts.
+               MathClass mc = nuc().back()->mathClass();
+               return (mc == MC_UNKNOWN) ? MC_ORD : mc;
+       }
+}
+
+
+void InsetMathScript::metrics(MetricsInfo & mi, Dimension & dim) const
+{
+       Changer dummy2 = mi.base.changeEnsureMath();
+       Dimension dim0;
+       Dimension dim1;
+       Dimension dim2;
+       cell(0).metrics(mi, dim0);
+       Changer dummy = mi.base.changeScript();
        if (nargs() > 1)
-               cell(1).metrics(mi);
+               cell(1).metrics(mi, dim1, !hasLimits());
        if (nargs() > 2)
-               cell(2).metrics(mi);
+               cell(2).metrics(mi, dim2, !hasLimits());
+
        dim.wid = 0;
+       BufferView & bv = *mi.base.bv;
+       // FIXME: data copying... not very efficient.
+       Dimension dimup;
+       Dimension dimdown;
+       if (hasUp())
+               dimup = up().dimension(bv);
+       if (hasDown())
+               dimdown = down().dimension(bv);
+
        if (hasLimits()) {
-               dim.wid = nwid();
+               dim.wid = nwid(bv);
                if (hasUp())
-                       dim.wid = max(dim.wid, up().width());
+                       dim.wid = max(dim.wid, dimup.width());
                if (hasDown())
-                       dim.wid = max(dim.wid, down().width());
+                       dim.wid = max(dim.wid, dimdown.width());
        } else {
                if (hasUp())
-                       dim.wid = max(dim.wid, nker() + up().width());
+                       dim.wid = max(dim.wid, max(nker(mi.base.bv), 0) + dimup.width());
                if (hasDown())
-                       dim.wid = max(dim.wid, down().width());
-               dim.wid += nwid();
+                       dim.wid = max(dim.wid, min(nker(mi.base.bv), 0) + dimdown.width());
+               dim.wid += nwid(bv);
        }
-       int na = nasc();
+       int na = nasc(bv);
        if (hasUp()) {
-               int asc = dy1() + up().ascent();
+               int asc = dy1(bv) + dimup.ascent();
                dim.asc = max(na, asc);
        } else
                dim.asc = na;
-       int nd = ndes();
+       int nd = ndes(bv);
        if (hasDown()) {
-               int des = dy0() + down().descent();
+               int des = dy0(bv) + dimdown.descent();
                dim.des = max(nd, des);
        } else
                dim.des = nd;
-       metricsMarkers(dim);
-       if (dim_ == dim)
-               return false;
-       dim_ = dim;
-       return true;
 }
 
 
 void InsetMathScript::draw(PainterInfo & pi, int x, int y) const
 {
-       if (nuc().size())
-               nuc().draw(pi, x + dxx(), y);
+       Changer dummy2 = pi.base.changeEnsureMath();
+       BufferView & bv = *pi.base.bv;
+       if (!nuc().empty())
+               nuc().draw(pi, x + dxx(bv), y);
        else {
-               nuc().setXY(*pi.base.bv, x + dxx(), y);
-               if (editing(pi.base.bv))
-                        pi.draw(x + dxx(), y, char_type('.'));
+               nuc().setXY(bv, x + dxx(bv), y);
+               if (editing(&bv))
+                       pi.draw(x + dxx(bv), y, char_type('.'));
        }
-       ScriptChanger dummy(pi.base);
+       Changer dummy = pi.base.changeScript();
        if (hasUp())
-               up().draw(pi, x + dx1(), y - dy1());
+               up().draw(pi, x + dx1(bv), y - dy1(bv));
        if (hasDown())
-               down().draw(pi, x + dx0(), y + dy0());
-       drawMarkers(pi, x, y);
+               down().draw(pi, x + dx0(bv), y + dy0(bv));
 }
 
 
@@ -363,15 +371,30 @@ void InsetMathScript::metricsT(TextMetricsInfo const & mi, Dimension & dim) cons
 
 void InsetMathScript::drawT(TextPainter & pain, int x, int y) const
 {
-       if (nuc().size())
-               nuc().drawT(pain, x + dxx(), y);
+       // FIXME: BROKEN
+       if (!nuc().empty())
+               nuc().drawT(pain, x + 1, y);
        if (hasUp())
-               up().drawT(pain, x + dx1(), y - dy1());
+               up().drawT(pain, x + 1, y - 1 /*dy1()*/);
        if (hasDown())
-               down().drawT(pain, x + dx0(), y + dy0());
+               down().drawT(pain, x + 1, y + 1 /*dy0()*/);
 }
 
 
+// FIXME: See InsetMathSymbol::takesLimits, which seems to attempt the
+// same in a hardcoded way. takeLimits use is currently commented out in
+// InsetMathScript::metrics. It seems that the mathop test is general
+// enough, but only time will tell.
+bool InsetMathScript::allowsLimits() const
+{
+       if (nuc().empty())
+               return false;
+       // Only makes sense for insets of mathop class
+       if (nuc().back()->mathClass() != MC_OP)
+               return false;
+       return true;
+}
+
 
 bool InsetMathScript::hasLimits() const
 {
@@ -382,8 +405,9 @@ bool InsetMathScript::hasLimits() const
                return false;
 
        // we can only display limits if the nucleus wants some
-       if (!nuc().size())
+       if (!allowsLimits())
                return false;
+       // FIXME: this is some hardcoding done in InsetMathSymbol::metrics.
        if (!nuc().back()->isScriptable())
                return false;
 
@@ -426,21 +450,21 @@ bool InsetMathScript::has(bool up) const
 
 bool InsetMathScript::hasUp() const
 {
-       //lyxerr << "1up: " << bool(cell_1_is_up_) << endl;
-       //lyxerr << "hasUp: " << bool(idxOfScript(true)) << endl;
+       //lyxerr << "1up: " << bool(cell_1_is_up_));
+       //lyxerr << "hasUp: " << bool(idxOfScript(true)));
        return idxOfScript(true);
 }
 
 
 bool InsetMathScript::hasDown() const
 {
-       //lyxerr << "1up: " << bool(cell_1_is_up_) << endl;
-       //lyxerr << "hasDown: " << bool(idxOfScript(false)) << endl;
+       //LYXERR0("1up: " << bool(cell_1_is_up_));
+       //LYXERR0("hasDown: " << bool(idxOfScript(false)));
        return idxOfScript(false);
 }
 
 
-InsetBase::idx_type InsetMathScript::idxOfScript(bool up) const
+Inset::idx_type InsetMathScript::idxOfScript(bool up) const
 {
        if (nargs() == 1)
                return 0;
@@ -448,19 +472,17 @@ InsetBase::idx_type InsetMathScript::idxOfScript(bool up) const
                return (cell_1_is_up_ == up) ? 1 : 0;
        if (nargs() == 3)
                return up ? 1 : 2;
-       BOOST_ASSERT(false);
-       // Silence compiler
-       return 0;
+       LASSERT(false, return 0);
 }
 
 
-bool InsetMathScript::idxRight(Cursor &) const
+bool InsetMathScript::idxForward(Cursor &) const
 {
        return false;
 }
 
 
-bool InsetMathScript::idxLeft(Cursor &) const
+bool InsetMathScript::idxBackward(Cursor &) const
 {
        return false;
 }
@@ -484,7 +506,7 @@ bool InsetMathScript::idxUpDown(Cursor & cur, bool up) const
        }
 
        // Are we 'up'?
-       if (has(up) && cur.idx() == idxOfScript(true)) {
+       if (cur.idx() == idxOfScript(true)) {
                // can't go further up
                if (up)
                        return false;
@@ -495,7 +517,7 @@ bool InsetMathScript::idxUpDown(Cursor & cur, bool up) const
        }
 
        // Are we 'down'?
-       if (has(up) && cur.idx() == idxOfScript(false)) {
+       if (cur.idx() == idxOfScript(false)) {
                // can't go further down
                if (!up)
                        return false;
@@ -511,7 +533,9 @@ bool InsetMathScript::idxUpDown(Cursor & cur, bool up) const
 
 void InsetMathScript::write(WriteStream & os) const
 {
-       if (nuc().size()) {
+       MathEnsurer ensurer(os);
+
+       if (!nuc().empty()) {
                os << nuc();
                //if (nuc().back()->takesLimits()) {
                        if (limits_ == -1)
@@ -521,17 +545,24 @@ void InsetMathScript::write(WriteStream & os) const
                //}
        } else {
                if (os.firstitem())
-                       LYXERR(Debug::MATHED) << "suppressing {} when writing"
-                                             << endl;
+                       LYXERR(Debug::MATHED, "suppressing {} when writing");
                else
                        os << "{}";
        }
 
-       if (hasDown() /*&& down().size()*/)
+       if (hasDown() /*&& !down().empty()*/)
                os << "_{" << down() << '}';
 
-       if (hasUp() /*&& up().size()*/)
-               os << "^{" << up() << '}';
+       if (hasUp() /*&& !up().empty()*/) {
+               // insert space if up() is empty or an empty brace inset
+               // (see bug 8305)
+               if (os.latex() && (up().empty() ||
+                   (up().size() == 1 && up().back()->asBraceInset() &&
+                    up().back()->asBraceInset()->cell(0).empty())))
+                       os << "^ {}";
+               else
+                       os << "^{" << up() << '}';
+       }
 
        if (lock_ && !os.latex())
                os << "\\lyxlock ";
@@ -540,8 +571,8 @@ void InsetMathScript::write(WriteStream & os) const
 
 void InsetMathScript::normalize(NormalStream & os) const
 {
-       bool d = hasDown() && down().size();
-       bool u = hasUp() && up().size();
+       bool d = hasDown() && !down().empty();
+       bool u = hasUp() && !up().empty();
 
        if (u && d)
                os << "[subsup ";
@@ -550,7 +581,7 @@ void InsetMathScript::normalize(NormalStream & os) const
        else if (d)
                os << "[sub ";
 
-       if (nuc().size())
+       if (!nuc().empty())
                os << nuc() << ' ';
        else
                os << "[par]";
@@ -566,21 +597,21 @@ void InsetMathScript::normalize(NormalStream & os) const
 
 void InsetMathScript::maple(MapleStream & os) const
 {
-       if (nuc().size())
+       if (!nuc().empty())
                os << nuc();
-       if (hasDown() && down().size())
+       if (hasDown() && !down().empty())
                os << '[' << down() << ']';
-       if (hasUp() && up().size())
+       if (hasUp() && !up().empty())
                os << "^(" << up() << ')';
 }
 
 
 void InsetMathScript::mathematica(MathematicaStream & os) const
 {
-       bool d = hasDown() && down().size();
-       bool u = hasUp() && up().size();
+       bool d = hasDown() && !down().empty();
+       bool u = hasUp() && !up().empty();
 
-       if (nuc().size()) {
+       if (!nuc().empty()) {
                if (d)
                        os << "Subscript[" << nuc();
                else
@@ -590,7 +621,7 @@ void InsetMathScript::mathematica(MathematicaStream & os) const
        if (u)
                os << "^(" << up() << ')';
 
-       if (nuc().size()) {
+       if (!nuc().empty()) {
                if (d)
                        os << ',' << down() << ']';
        }
@@ -599,37 +630,60 @@ void InsetMathScript::mathematica(MathematicaStream & os) const
 
 void InsetMathScript::mathmlize(MathStream & os) const
 {
-       bool d = hasDown() && down().size();
-       bool u = hasUp() && up().size();
+       bool d = hasDown() && !down().empty();
+       bool u = hasUp() && !up().empty();
+       bool l = hasLimits();
 
        if (u && d)
-               os << MTag("msubsup");
+               os << MTag(l ? "munderover" : "msubsup");
        else if (u)
-               os << MTag("msup");
+               os << MTag(l ? "mover" : "msup");
        else if (d)
-               os << MTag("msub");
+               os << MTag(l ? "munder" : "msub");
 
-       if (nuc().size())
-               os << nuc();
+       if (!nuc().empty())
+               os << MTag("mrow") << nuc() << ETag("mrow");
        else
-               os << "<mrow/>";
+               os << "<mrow />";
+
+       if (u && d)
+               os << MTag("mrow") << down() << ETag("mrow")
+                  << MTag("mrow") << up() << ETag("mrow")
+                  << ETag(l ? "munderover" : "msubsup");
+       else if (u)
+               os << MTag("mrow") << up() << ETag("mrow") << ETag(l ? "mover" : "msup");
+       else if (d)
+               os << MTag("mrow") << down() << ETag("mrow") << ETag(l ? "munder" : "msub");
+}
+
+
+void InsetMathScript::htmlize(HtmlStream & os) const
+{
+       bool d = hasDown() && !down().empty();
+       bool u = hasUp() && !up().empty();
+
+       if (!nuc().empty())
+               os << nuc();
 
        if (u && d)
-               os << down() << up() << ETag("msubsup");
+               os << MTag("span", "class='scripts'")
+                        << MTag("span") << up() << ETag("span")
+                        << MTag("span") << down() << ETag("span")
+                        << ETag("span");
        else if (u)
-               os << up() << ETag("msup");
+               os << MTag("sup", "class='math'") << up() << ETag("sup");
        else if (d)
-               os << down() << ETag("msub");
+               os << MTag("sub", "class='math'") << down() << ETag("sub");
 }
 
 
 void InsetMathScript::octave(OctaveStream & os) const
 {
-       if (nuc().size())
+       if (!nuc().empty())
                os << nuc();
-       if (hasDown() && down().size())
+       if (hasDown() && !down().empty())
                os << '[' << down() << ']';
-       if (hasUp() && up().size())
+       if (hasUp() && !up().empty())
                os << "^(" << up() << ')';
 }
 
@@ -643,57 +697,79 @@ void InsetMathScript::infoize(odocstream & os) const
 void InsetMathScript::infoize2(odocstream & os) const
 {
        if (limits_)
-               os << (limits_ == 1 ? ", Displayed limits" : ", Inlined limits");
+               os << from_ascii(limits_ == 1 ? ", Displayed limits" : ", Inlined limits");
 }
 
 
-bool InsetMathScript::notifyCursorLeaves(Cursor & cur)
+bool InsetMathScript::notifyCursorLeaves(Cursor const & old, Cursor & cur)
 {
-       InsetMathNest::notifyCursorLeaves(cur);
+       InsetMathNest::notifyCursorLeaves(old, cur);
 
-       //lyxerr << "InsetMathScript::notifyCursorLeaves: 1 " << cur << endl;
+       //LYXERR0("InsetMathScript::notifyCursorLeaves: 1 " << cur);
 
-       // remove empty scripts if possible
-       if (nargs() > 2) {
-               // Case of two scripts. In this case, 1 = super, 2 = sub
-               if (cur.idx() == 2 && cell(2).empty()) {
+       // Remove empty scripts if possible:
+
+       // The case of two scripts, but only one got empty (1 = super, 2 = sub).
+       // We keep the script inset, but remove the empty script.
+       if (nargs() > 2 && (!cell(1).empty() || !cell(2).empty())) {
+               if (cell(2).empty()) {
                        // must be a subscript...
-                       recordUndoInset(cur);
+                       old.recordUndoInset();
                        removeScript(false);
+                       cur.screenUpdateFlags(cur.result().screenUpdate() | Update::SinglePar);
                        return true;
-               } else if (cur.idx() == 1 && cell(1).empty()) {
+               } else if (cell(1).empty()) {
                        // must be a superscript...
-                       recordUndoInset(cur);
+                       old.recordUndoInset();
                        removeScript(true);
+                       cur.screenUpdateFlags(cur.result().screenUpdate() | Update::SinglePar);
                        return true;
                }
-       } else if (nargs() > 1 && cur.idx() == 1 && cell(1).empty()) {
-               // could be either subscript or super script
-               recordUndoInset(cur);
-               removeScript(cell_1_is_up_);
+       }
+       // Now the two suicide cases:
+       // * we have only one script which is empty
+       // * we have two scripts which are both empty.
+       // The script inset is removed completely.
+       if ((nargs() == 2 && cell(1).empty())
+           || (nargs() == 3 && cell(1).empty() && cell(2).empty())) {
+               // Make undo step. We cannot use cur for this because
+               // it does not necessarily point to us anymore. But we
+               // should be on top of the cursor old.
+               Cursor insetCur = old;
+               int scriptSlice = insetCur.find(this);
+               LASSERT(scriptSlice != -1, /**/);
+               insetCur.cutOff(scriptSlice);
+               insetCur.recordUndoInset();
+
                // Let the script inset commit suicide. This is
                // modelled on Cursor.pullArg(), but tries not to
                // invoke notifyCursorLeaves again and does not touch
                // cur (since the top slice will be deleted
-               // afterwards))
-               MathArray ar = cell(0);
-               Cursor tmpcur = cur;
-               tmpcur.pop();
-               tmpcur.cell().erase(tmpcur.pos());
-               tmpcur.cell().insert(tmpcur.pos(), ar);
+               // afterwards)
+               MathData ar = cell(0);
+               insetCur.pop();
+               insetCur.cell().erase(insetCur.pos());
+               insetCur.cell().insert(insetCur.pos(), ar);
+
+               // redraw
+               cur.screenUpdateFlags(cur.result().screenUpdate() | Update::SinglePar);
                return true;
        }
 
-       //lyxerr << "InsetMathScript::notifyCursorLeaves: 2 " << cur << endl;
+       //LYXERR0("InsetMathScript::notifyCursorLeaves: 2 " << cur);
        return false;
 }
 
 
 void InsetMathScript::doDispatch(Cursor & cur, FuncRequest & cmd)
 {
-       //lyxerr << "InsetMathScript: request: " << cmd << std::endl;
+       //LYXERR("InsetMathScript: request: " << cmd);
 
-       if (cmd.action == LFUN_MATH_LIMITS) {
+       if (cmd.action() == LFUN_MATH_LIMITS) {
+               // only when nucleus allows this
+               if (!allowsLimits())
+                       return;
+               cur.recordUndoInset();
                if (!cmd.argument().empty()) {
                        if (cmd.argument() == "limits")
                                limits_ = 1;
@@ -712,4 +788,40 @@ void InsetMathScript::doDispatch(Cursor & cur, FuncRequest & cmd)
 }
 
 
+bool InsetMathScript::getStatus(Cursor & cur, FuncRequest const & cmd,
+                               FuncStatus & flag) const
+{
+       if (cmd.action() == LFUN_MATH_LIMITS) {
+               // only when nucleus allows this
+               if (allowsLimits()) {
+                       if (!cmd.argument().empty()) {
+                               if (cmd.argument() == "limits")
+                                       flag.setOnOff(limits_ == 1);
+                               else if (cmd.argument() == "nolimits")
+                                       flag.setOnOff(limits_ == -1);
+                               else
+                                       flag.setOnOff(limits_ == 0);
+                       }
+                       flag.setEnabled(true);
+               } else
+                       flag.setEnabled(false);
+               return true;
+       }
+
+       return InsetMathNest::getStatus(cur, cmd, flag);
+}
+
+
+// the idea for dual scripts came from the eLyXer code
+void InsetMathScript::validate(LaTeXFeatures & features) const
+{
+       if (features.runparams().math_flavor == OutputParams::MathAsHTML)
+               features.addCSSSnippet(
+                       "span.scripts{display: inline-block; vertical-align: middle; text-align:center; font-size: 75%;}\n"
+                       "span.scripts span {display: block;}\n"
+                       "sub.math{font-size: 75%;}\n"
+                       "sup.math{font-size: 75%;}");
+       InsetMathNest::validate(features);
+}
+
 } // namespace lyx