]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/InsetMathHull.cpp
add busy.gif to resources (in line with cmake)
[lyx.git] / src / mathed / InsetMathHull.cpp
index 92fa33ecdfaf18a3a1dff4b85a78ec77aaf3b68e..f06f7eba22204005958d69e93843dc6d1925238e 100644 (file)
 #include "Buffer.h"
 #include "BufferParams.h"
 #include "BufferView.h"
+#include "ColorSet.h"
 #include "CutAndPaste.h"
 #include "Encoding.h"
+#include "Exporter.h"
 #include "FuncRequest.h"
 #include "FuncStatus.h"
+#include "Language.h"
 #include "LaTeXFeatures.h"
 #include "LyXRC.h"
+#include "MacroTable.h"
+#include "output_xhtml.h"
+#include "Paragraph.h"
+#include "ParIterator.h"
 #include "sgml.h"
+#include "TextClass.h"
 #include "TextPainter.h"
 #include "TocBackend.h"
 
 #include "insets/RenderPreview.h"
 
 #include "graphics/PreviewImage.h"
+#include "graphics/PreviewLoader.h"
 
+#include "frontends/alert.h"
 #include "frontends/Painter.h"
 
+#include "support/convert.h"
 #include "support/lassert.h"
 #include "support/debug.h"
 #include "support/gettext.h"
@@ -136,8 +147,9 @@ docstring hullName(HullType type)
 static InsetLabel * dummy_pointer = 0;
 
 InsetMathHull::InsetMathHull(Buffer * buf)
-       : InsetMathGrid(1, 1), type_(hullNone), nonum_(1, false),
-         label_(1, dummy_pointer), preview_(new RenderPreview(this))
+       : InsetMathGrid(buf, 1, 1), type_(hullNone), numbered_(1, true),
+    numbers_(1, empty_docstring()), label_(1, dummy_pointer),
+    preview_(new RenderPreview(this))
 {
        //lyxerr << "sizeof InsetMath: " << sizeof(InsetMath) << endl;
        //lyxerr << "sizeof MetricsInfo: " << sizeof(MetricsInfo) << endl;
@@ -149,9 +161,10 @@ InsetMathHull::InsetMathHull(Buffer * buf)
 }
 
 
-InsetMathHull::InsetMathHull(HullType type, Buffer * buf)
-       : InsetMathGrid(getCols(type), 1), type_(type), nonum_(1, false),
-         label_(1, dummy_pointer), preview_(new RenderPreview(this))
+InsetMathHull::InsetMathHull(Buffer * buf, HullType type)
+       : InsetMathGrid(buf, getCols(type), 1), type_(type), numbered_(1, true),
+    numbers_(1, empty_docstring()), label_(1, dummy_pointer),
+    preview_(new RenderPreview(this))
 {
        buffer_ = buf;
        initMath();
@@ -159,7 +172,7 @@ InsetMathHull::InsetMathHull(HullType type, Buffer * buf)
 }
 
 
-InsetMathHull::InsetMathHull(InsetMathHull const & other) : InsetMathGrid()
+InsetMathHull::InsetMathHull(InsetMathHull const & other) : InsetMathGrid(other)
 {
        operator=(other);
 }
@@ -184,7 +197,8 @@ InsetMathHull & InsetMathHull::operator=(InsetMathHull const & other)
                return *this;
        InsetMathGrid::operator=(other);
        type_  = other.type_;
-       nonum_ = other.nonum_;
+       numbered_ = other.numbered_;
+       numbers_ = other.numbers_;
        buffer_ = other.buffer_;
        for (size_t i = 0; i < label_.size(); ++i)
                delete label_[i];
@@ -210,7 +224,13 @@ void InsetMathHull::setBuffer(Buffer & buffer)
 }
 
 
-void InsetMathHull::updateLabels(ParIterator const & it)
+namespace {
+       const char * counters_to_save[] = {"section", "chapter"};
+       unsigned int const numcnts = sizeof(counters_to_save)/sizeof(char *);
+}
+
+
+void InsetMathHull::updateBuffer(ParIterator const & it, UpdateType utype)
 {
        if (!buffer_) {
                //FIXME: buffer_ should be set at creation for this inset! Problem is
@@ -218,14 +238,50 @@ void InsetMathHull::updateLabels(ParIterator const & it)
                // MathParser.cpp).
                return;
        }
+
+       // if any of the equations are numbered, then we want to save the values
+       // of some of the counters.
+       if (haveNumbers()) {
+               BufferParams const & bp = buffer_->params();
+               string const & lang = it->getParLanguage(bp)->code();
+               Counters & cnts = bp.documentClass().counters();
+
+               // right now, we only need to do this at export time
+               if (utype == OutputUpdate) {
+                       for (size_t i = 0; i < numcnts; ++i) {
+                               docstring const cnt = from_ascii(counters_to_save[i]);
+                               if (cnts.hasCounter(cnt))
+                                       counter_map[cnt] = cnts.value(cnt);
+                       }
+               }
+
+               // this has to be done separately
+               docstring const eqstr = from_ascii("equation");
+               if (cnts.hasCounter(eqstr)) {
+                       if (utype == OutputUpdate) {
+                               counter_map[eqstr] = cnts.value(eqstr);
+                       LYXERR0(counter_map[eqstr]);}
+                       for (size_t i = 0; i != label_.size(); ++i) {
+                               if (numbered(i)) {
+                                       cnts.step(eqstr, utype);
+                                       numbers_[i] = cnts.theCounter(eqstr, lang);
+                               } else
+                                       numbers_[i] = empty_docstring();
+                       }
+               }
+       }
+
+       // now the labels
        for (size_t i = 0; i != label_.size(); ++i) {
                if (label_[i])
-                       label_[i]->updateLabels(it);
+                       label_[i]->updateBuffer(it, utype);
        }
+       // pass down
+       InsetMathGrid::updateBuffer(it, utype);
 }
 
 
-void InsetMathHull::addToToc(DocIterator const & pit)
+void InsetMathHull::addToToc(DocIterator const & pit) const
 {
        if (!buffer_) {
                //FIXME: buffer_ should be set at creation for this inset! Problem is
@@ -237,7 +293,7 @@ void InsetMathHull::addToToc(DocIterator const & pit)
        Toc & toc = buffer().tocBackend().toc("equation");
 
        for (row_type row = 0; row != nrows(); ++row) {
-               if (nonum_[row])
+               if (!numbered_[row])
                        continue;
                if (label_[row])
                        label_[row]->addToToc(pit);
@@ -307,7 +363,33 @@ int InsetMathHull::defaultColSpace(col_type col)
 
 docstring InsetMathHull::standardFont() const
 {
-       return from_ascii(type_ == hullNone ? "lyxnochange" : "mathnormal");
+       docstring font_name;
+       switch (type_) {
+       case hullRegexp:
+               font_name = from_ascii("texttt");
+               break;
+       case hullNone:
+               font_name = from_ascii("lyxnochange");
+               break;
+       default:
+               font_name = from_ascii("mathnormal");
+       }
+       return font_name;
+}
+
+
+ColorCode InsetMathHull::standardColor() const
+{
+       ColorCode color;
+       switch (type_) {
+       case hullRegexp:
+       case hullNone:
+               color = Color_foreground;
+               break;
+       default:
+               color = Color_math;
+       }
+       return color;
 }
 
 
@@ -368,6 +450,14 @@ void InsetMathHull::metrics(MetricsInfo & mi, Dimension & dim) const
 }
 
 
+ColorCode InsetMathHull::backgroundColor(PainterInfo const & pi) const
+{
+       if (previewState(pi.base.bv))
+               return graphics::PreviewLoader::backgroundColor();
+       return Color_mathbg;
+}
+
+
 void InsetMathHull::drawBackground(PainterInfo & pi, int x, int y) const
 {
        Dimension const dim = dimension(*pi.base.bv);
@@ -380,6 +470,11 @@ void InsetMathHull::draw(PainterInfo & pi, int x, int y) const
 {
        use_preview_ = previewState(pi.base.bv);
 
+       if (type_ == hullRegexp) {
+               Dimension const dim = dimension(*pi.base.bv);
+               pi.pain.rectangle(x + 1, y - dim.ascent() + 1,
+                       dim.width() - 2, dim.height() - 2, Color_regexpframe);
+       }
        if (use_preview_) {
                // one pixel gap in front
                preview_->draw(pi, x + 1, y);
@@ -387,8 +482,13 @@ void InsetMathHull::draw(PainterInfo & pi, int x, int y) const
                return;
        }
 
+       ColorCode color = pi.selected && lyxrc.use_system_colors
+                               ? Color_selectiontext : standardColor();
+       bool const really_change_color = pi.base.font.color() == Color_none;
+       ColorChanger dummy0(pi.base.font, color, really_change_color);
        FontSetChanger dummy1(pi.base, standardFont());
        StyleChanger dummy2(pi.base, display() ? LM_ST_DISPLAY : LM_ST_TEXT);
+
        InsetMathGrid::draw(pi, x + 1, y);
 
        if (numberedType()) {
@@ -456,23 +556,87 @@ void InsetMathHull::initUnicodeMath() const
 }
 
 
-void InsetMathHull::addPreview(graphics::PreviewLoader & ploader) const
+void InsetMathHull::addPreview(DocIterator const & inset_pos,
+       graphics::PreviewLoader & /*ploader*/) const
 {
        if (RenderPreview::status() == LyXRC::PREVIEW_ON) {
-               docstring const snippet = latexString(*this);
-               preview_->addPreview(snippet, ploader);
+               preparePreview(inset_pos);
        }
 }
 
 
-bool InsetMathHull::notifyCursorLeaves(Cursor const & /*old*/, Cursor & cur)
+void InsetMathHull::preparePreview(DocIterator const & pos,
+                                   bool forexport) const  
+{
+       // there is no need to do all the macro stuff if we're not
+       // actually going to generate the preview.
+       if (RenderPreview::status() != LyXRC::PREVIEW_ON && !forexport)
+               return;
+       
+       Buffer const * buffer = pos.buffer();
+
+       // collect macros at this position
+       MacroNameSet macros;
+       buffer->listMacroNames(macros);
+       MacroNameSet::iterator it = macros.begin();
+       MacroNameSet::iterator end = macros.end();
+       odocstringstream macro_preamble;
+       for (; it != end; ++it) {
+               MacroData const * data = buffer->getMacro(*it, pos, true);
+               if (data) {
+                       data->write(macro_preamble, true);
+                       macro_preamble << endl;
+               }
+       }
+
+       docstring setcnt;
+       if (forexport && haveNumbers()) {
+               docstring eqstr = from_ascii("equation");
+               CounterMap::const_iterator it = counter_map.find(eqstr);
+               if (it != counter_map.end()) {
+                       int num = it->second;
+                       if (num >= 0)
+                               setcnt += from_ascii("\\setcounter{") + eqstr + '}' +
+                                         '{' + convert<docstring>(num) + '}' + '\n';
+               }
+               for (size_t i = 0; i != numcnts; ++i) {
+                       docstring cnt = from_ascii(counters_to_save[i]);
+                       it = counter_map.find(cnt);
+                       if (it == counter_map.end())
+                                       continue;
+                       int num = it->second;
+                       if (num > 0)
+                               setcnt += from_ascii("\\setcounter{") + cnt + '}' +
+                                         '{' + convert<docstring>(num) + '}';
+               }
+       }
+       docstring const snippet = macro_preamble.str() +
+           setcnt + latexString(*this);
+       LYXERR(Debug::MACROS, "Preview snippet: " << snippet);
+       preview_->addPreview(snippet, *buffer, forexport);
+}
+
+
+void InsetMathHull::reloadPreview(DocIterator const & pos) const
+{
+       preparePreview(pos);
+       preview_->startLoading(*pos.buffer());
+}
+
+
+void InsetMathHull::loadPreview(DocIterator const & pos) const
+{
+       bool const forexport = true;
+       preparePreview(pos, forexport);
+       preview_->startLoading(*pos.buffer(), forexport);
+}
+
+
+bool InsetMathHull::notifyCursorLeaves(Cursor const & old, Cursor & cur)
 {
        if (RenderPreview::status() == LyXRC::PREVIEW_ON) {
-               Buffer const * buffer = cur.buffer();
-               docstring const snippet = latexString(*this);
-               preview_->addPreview(snippet, *buffer);
-               preview_->startLoading(*buffer);
-               cur.updateFlags(Update::Force);
+               reloadPreview(old);
+               cur.screenUpdateFlags(Update::Force);
        }
        return false;
 }
@@ -494,10 +658,6 @@ void InsetMathHull::label(row_type row, docstring const & label)
                if (label.empty()) {
                        delete label_[row];
                        label_[row] = dummy_pointer;
-                       // We need an update of the Buffer reference cache.
-                       // This is achieved by updateLabels().
-                       if (buffer_)
-                               buffer().updateLabels();
                } else {
                        if (buffer_)
                                label_[row]->updateCommand(label);
@@ -508,7 +668,7 @@ void InsetMathHull::label(row_type row, docstring const & label)
        }
        InsetCommandParams p(LABEL_CODE);
        p["name"] = label;
-       label_[row] = new InsetLabel(p);
+       label_[row] = new InsetLabel(buffer_, p);
        if (buffer_)
                label_[row]->setBuffer(buffer());
 }
@@ -516,25 +676,17 @@ void InsetMathHull::label(row_type row, docstring const & label)
 
 void InsetMathHull::numbered(row_type row, bool num)
 {
-       nonum_[row] = !num;
-       if (nonum_[row] && label_[row]) {
+       numbered_[row] = num;
+       if (!numbered_[row] && label_[row]) {
                delete label_[row];
                label_[row] = 0;
-               if (!buffer_) {
-                       // The buffer is set at the end of readInset.
-                       // When parsing the inset, buffer_ is 0.
-                       return;
-               }
-               // We need an update of the Buffer reference cache.
-               // This is achieved by updateLabels().
-               buffer().updateLabels();
        }
 }
 
 
 bool InsetMathHull::numbered(row_type row) const
 {
-       return !nonum_[row];
+       return numbered_[row];
 }
 
 
@@ -568,7 +720,7 @@ bool InsetMathHull::numberedType() const
        if (type_ == hullRegexp)
                return false;
        for (row_type row = 0; row < nrows(); ++row)
-               if (!nonum_[row])
+               if (numbered_[row])
                        return true;
        return false;
 }
@@ -576,16 +728,37 @@ bool InsetMathHull::numberedType() const
 
 void InsetMathHull::validate(LaTeXFeatures & features) const
 {
-       if (ams())
-               features.require("amsmath");
-
-       // Validation is necessary only if not using AMS math.
-       // To be safe, we will always run mathedvalidate.
-       //if (features.amsstyle)
-       //  return;
-
-       //features.binom      = true;
-
+       if (features.runparams().isLaTeX()) {
+               if (ams())
+                       features.require("amsmath");
+       
+               if (type_ == hullRegexp) {
+                       features.require("color");
+                       string frcol = lcolor.getLaTeXName(Color_regexpframe);
+                       string bgcol = "white";
+                       features.addPreambleSnippet(
+                               string("\\newcommand{\\regexp}[1]{\\fcolorbox{")
+                               + frcol + string("}{")
+                               + bgcol + string("}{\\texttt{#1}}}"));
+               }
+       
+               // Validation is necessary only if not using AMS math.
+               // To be safe, we will always run mathedvalidate.
+               //if (features.amsstyle)
+               //  return;
+       
+               //features.binom      = true;
+       } else if (features.runparams().math_flavor == OutputParams::MathAsHTML) {
+               // it would be better to do this elsewhere, but we can't validate in
+               // InsetMathMatrix and we have no way, outside MathExtern, to know if
+               // we even have any matrices.
+                               features.addPreambleSnippet("<style type=\"text/css\">\n"
+                                       "table.matrix{display: inline-block; vertical-align: middle; text-align:center;}\n"
+                                       "table.matrix td{padding: 0.25px;}\n"
+                                       "td.ldelim{width: 0.5ex; border: thin solid black; border-right: none;}\n"
+                                       "td.rdelim{width: 0.5ex; border: thin solid black; border-left: none;}\n"
+                                       "</style>");
+       }
        InsetMathGrid::validate(features);
 }
 
@@ -606,9 +779,9 @@ void InsetMathHull::header_write(WriteStream & os) const
 
        case hullEquation:
                if (n)
-                       os << "\\begin{equation" << star(n) << "}\n";
+                       os << "\n\\begin{equation" << star(n) << "}\n";
                else
-                       os << "\\[\n";
+                       os << "\n\\[\n";
                break;
 
        case hullEqnArray:
@@ -616,26 +789,26 @@ void InsetMathHull::header_write(WriteStream & os) const
        case hullFlAlign:
        case hullGather:
        case hullMultline:
-               os << "\\begin{" << hullName(type_) << star(n) << "}\n";
+               os << "\n\\begin{" << hullName(type_) << star(n) << "}\n";
                break;
 
        case hullAlignAt:
        case hullXAlignAt:
-               os << "\\begin{" << hullName(type_) << star(n) << '}'
+               os << "\n\\begin{" << hullName(type_) << star(n) << '}'
                  << '{' << static_cast<unsigned int>((ncols() + 1)/2) << "}\n";
                break;
 
        case hullXXAlignAt:
-               os << "\\begin{" << hullName(type_) << '}'
+               os << "\n\\begin{" << hullName(type_) << '}'
                  << '{' << static_cast<unsigned int>((ncols() + 1)/2) << "}\n";
                break;
 
        case hullRegexp:
-               os << "\\regexp{";
+               os << "\\regexp{{{";
                break;
 
        default:
-               os << "\\begin{unknown" << star(n) << '}';
+               os << "\n\\begin{unknown" << star(n) << "}\n";
                break;
        }
 }
@@ -656,9 +829,9 @@ void InsetMathHull::footer_write(WriteStream & os) const
 
        case hullEquation:
                if (n)
-                       os << "\\end{equation" << star(n) << "}\n";
+                       os << "\n\\end{equation" << star(n) << "}\n";
                else
-                       os << "\\]\n";
+                       os << "\n\\]\n";
                break;
 
        case hullEqnArray:
@@ -668,19 +841,19 @@ void InsetMathHull::footer_write(WriteStream & os) const
        case hullXAlignAt:
        case hullGather:
        case hullMultline:
-               os << "\\end{" << hullName(type_) << star(n) << "}\n";
+               os << "\n\\end{" << hullName(type_) << star(n) << "}\n";
                break;
 
        case hullXXAlignAt:
-               os << "\\end{" << hullName(type_) << "}\n";
+               os << "\n\\end{" << hullName(type_) << "}\n";
                break;
 
        case hullRegexp:
-               os << "}";
+               os << "}}}";
                break;
 
        default:
-               os << "\\end{unknown" << star(n) << '}';
+               os << "\n\\end{unknown" << star(n) << "}\n";
                break;
        }
 }
@@ -713,13 +886,14 @@ void InsetMathHull::addRow(row_type row)
        docstring lab;
        if (type_ == hullMultline) {
                if (row + 1 == nrows())  {
-                       nonum_[row] = true;
+                       numbered_[row] = false;
                        lab = label(row);
                } else
                        numbered = false;
        }
 
-       nonum_.insert(nonum_.begin() + row + 1, !numbered);
+       numbered_.insert(numbered_.begin() + row + 1, numbered);
+       numbers_.insert(numbers_.begin() + row + 1, empty_docstring());
        label_.insert(label_.begin() + row + 1, dummy_pointer);
        if (!lab.empty())
                label(row + 1, lab);
@@ -736,11 +910,12 @@ void InsetMathHull::swapRow(row_type row)
        // gcc implements the standard std::vector<bool> which is *not* a container:
        //   http://www.gotw.ca/publications/N1185.pdf
        // As a results, it doesn't like this:
-       //      swap(nonum_[row], nonum_[row + 1]);
+       //      swap(numbered_[row], numbered_[row + 1]);
        // so we do it manually:
-       bool const b = nonum_[row];
-       nonum_[row] = nonum_[row + 1];
-       nonum_[row + 1] = b;
+       bool const b = numbered_[row];
+       numbered_[row] = numbered_[row + 1];
+       numbered_[row + 1] = b;
+       swap(numbers_[row], numbers_[row + 1]);
        swap(label_[row], label_[row + 1]);
        InsetMathGrid::swapRow(row);
 }
@@ -751,9 +926,10 @@ void InsetMathHull::delRow(row_type row)
        if (nrows() <= 1 || !rowChangeOK())
                return;
        if (row + 1 == nrows() && type_ == hullMultline) {
-               bool const b = nonum_[row - 1];
-               nonum_[row - 1] = nonum_[row];
-               nonum_[row] = b;
+               bool const b = numbered_[row - 1];
+               numbered_[row - 1] = numbered_[row];
+               numbered_[row] = b;
+               swap(numbers_[row - 1], numbers_[row]);
                swap(label_[row - 1], label_[row]);
                InsetMathGrid::delRow(row);
                return;
@@ -763,7 +939,8 @@ void InsetMathHull::delRow(row_type row)
        // Test nrows() + 1 because we have already erased the row.
        if (row == nrows() + 1)
                row--;
-       nonum_.erase(nonum_.begin() + row);
+       numbered_.erase(numbered_.begin() + row);
+       numbers_.erase(numbers_.begin() + row);
        delete label_[row];
        label_.erase(label_.begin() + row);
 }
@@ -787,20 +964,33 @@ void InsetMathHull::delCol(col_type col)
 
 docstring InsetMathHull::nicelabel(row_type row) const
 {
-       if (nonum_[row])
+       if (!numbered_[row])
                return docstring();
+       docstring const & val = numbers_[row];
        if (!label_[row])
-               return from_ascii("(#)");
-       return '(' + label_[row]->screenLabel() + from_ascii(", #)");
+               return '(' + val + ')';
+       return '(' + val + ',' + label_[row]->screenLabel() + ')';
 }
 
 
-void InsetMathHull::glueall()
+void InsetMathHull::glueall(HullType type)
 {
        MathData ar;
        for (idx_type i = 0; i < nargs(); ++i)
                ar.append(cell(i));
-       *this = InsetMathHull(hullSimple, &buffer());
+       InsetLabel * label = 0;
+       if (type == hullEquation) {
+               // preserve first non-empty label
+               for (row_type row = 0; row < nrows(); ++row) {
+                       if (label_[row]) {
+                               label = label_[row];
+                               label_[row] = 0;
+                               break;
+                       }
+               }
+       }
+       *this = InsetMathHull(buffer_, hullSimple);
+       label_[0] = label;
        cell(0) = ar;
        setDefaults();
 }
@@ -813,7 +1003,7 @@ void InsetMathHull::splitTo2Cols()
        for (row_type row = 0; row < nrows(); ++row) {
                idx_type const i = 2 * row;
                pos_type pos = firstRelOp(cell(i));
-               cell(i + 1) = MathData(cell(i).begin() + pos, cell(i).end());
+               cell(i + 1) = MathData(buffer_, cell(i).begin() + pos, cell(i).end());
                cell(i).erase(pos, cell(i).size());
        }
 }
@@ -828,7 +1018,7 @@ void InsetMathHull::splitTo3Cols()
        for (row_type row = 0; row < nrows(); ++row) {
                idx_type const i = 3 * row + 1;
                if (cell(i).size()) {
-                       cell(i + 1) = MathData(cell(i).begin() + 1, cell(i).end());
+                       cell(i + 1) = MathData(buffer_, cell(i).begin() + 1, cell(i).end());
                        cell(i).erase(1, cell(i).size());
                }
        }
@@ -911,7 +1101,7 @@ void InsetMathHull::mutate(HullType newtype)
                        numbered(0, false);
                } else {
                        setType(hullEquation);
-                       numbered(0, false);
+                       numbered(0, label_[0] ? true : false);
                        mutate(newtype);
                }
        }
@@ -937,24 +1127,7 @@ void InsetMathHull::mutate(HullType newtype)
 
        else if (type_ == hullEqnArray) {
                if (newtype < type_) {
-                       // set correct (no)numbering
-                       nonum_[0] = true;
-                       for (row_type row = 0; row < nrows(); ++row) {
-                               if (!nonum_[row]) {
-                                       nonum_[0] = false;
-                                       break;
-                               }
-                       }
-
-                       // set first non-empty label
-                       for (row_type row = 0; row < nrows(); ++row) {
-                               if (label_[row]) {
-                                       label_[0] = label_[row];
-                                       break;
-                               }
-                       }
-
-                       glueall();
+                       glueall(newtype);
                        mutate(newtype);
                } else { // align & Co.
                        changeCols(2);
@@ -1023,16 +1196,23 @@ void InsetMathHull::mutate(HullType newtype)
 }
 
 
-docstring InsetMathHull::eolString(row_type row, bool fragile) const
+docstring InsetMathHull::eolString(row_type row, bool fragile, bool latex,
+               bool last_eoln) const
 {
        docstring res;
        if (numberedType()) {
-               if (label_[row] && !nonum_[row])
-                       res += "\\label{" + label_[row]->getParam("name") + '}';
-               if (nonum_[row] && (type_ != hullMultline))
+               if (label_[row] && numbered_[row]) {
+                       docstring const name =
+                               latex ? escape(label_[row]->getParam("name"))
+                                     : label_[row]->getParam("name");
+                       res += "\\label{" + name + '}';
+               }
+               if (!numbered_[row] && (type_ != hullMultline))
                        res += "\\nonumber ";
        }
-       return res + InsetMathGrid::eolString(row, fragile);
+       // Never add \\ on the last empty line of eqnarray and friends
+       last_eoln = false;
+       return res + InsetMathGrid::eolString(row, fragile, latex, last_eoln);
 }
 
 
@@ -1053,12 +1233,6 @@ void InsetMathHull::normalize(NormalStream & os) const
 }
 
 
-void InsetMathHull::mathmlize(MathStream & os) const
-{
-       InsetMathGrid::mathmlize(os);
-}
-
-
 void InsetMathHull::infoize(odocstream & os) const
 {
        os << "Type: " << hullName(type_);
@@ -1067,7 +1241,8 @@ void InsetMathHull::infoize(odocstream & os) const
 
 void InsetMathHull::check() const
 {
-       LASSERT(nonum_.size() == nrows(), /**/);
+       LASSERT(numbered_.size() == nrows(), /**/);
+       LASSERT(numbers_.size() == nrows(), /**/);
        LASSERT(label_.size() == nrows(), /**/);
 }
 
@@ -1091,6 +1266,15 @@ void InsetMathHull::doExtern(Cursor & cur, FuncRequest & func)
        //      return;
        //}
 
+       // only inline, display or eqnarray math is allowed
+       if (getType() > hullEqnArray) {
+               frontend::Alert::warning(_("Bad math environment"),
+                               _("Computation cannot be performed for AMS "
+                                 "math environments.\nChange the math "
+                                 "formula type and try again."));
+               return;
+       }
+
        MathData eq;
        eq.push_back(MathAtom(new InsetMathChar('=')));
 
@@ -1107,7 +1291,7 @@ void InsetMathHull::doExtern(Cursor & cur, FuncRequest & func)
                        ar = cur.cell();
                        lyxerr << "use whole cell: " << ar << endl;
                } else {
-                       ar = MathData(cur.cell().begin() + pos + 1, cur.cell().end());
+                       ar = MathData(buffer_, cur.cell().begin() + pos + 1, cur.cell().end());
                        lyxerr << "use partial cell form pos: " << pos << endl;
                }
                cur.cell().append(eq);
@@ -1150,14 +1334,14 @@ void InsetMathHull::doExtern(Cursor & cur, FuncRequest & func)
 
 void InsetMathHull::doDispatch(Cursor & cur, FuncRequest & cmd)
 {
-       //lyxerr << "action: " << cmd.action << endl;
-       switch (cmd.action) {
+       //lyxerr << "action: " << cmd.action() << endl;
+       switch (cmd.action()) {
 
        case LFUN_FINISHED_BACKWARD:
        case LFUN_FINISHED_FORWARD:
        case LFUN_FINISHED_RIGHT:
        case LFUN_FINISHED_LEFT:
-               //lyxerr << "action: " << cmd.action << endl;
+               //lyxerr << "action: " << cmd.action() << endl;
                InsetMathGrid::doDispatch(cur, cmd);
                cur.undispatched();
                break;
@@ -1173,6 +1357,8 @@ void InsetMathHull::doDispatch(Cursor & cur, FuncRequest & cmd)
                        bool const align =
                                cur.bv().buffer().params().use_amsmath == BufferParams::package_on;
                        mutate(align ? hullAlign : hullEqnArray);
+                       // mutate() may change labels and such.
+                       cur.forceBufferUpdate();
                        cur.idx() = nrows() * ncols() - 1;
                        cur.pos() = cur.lastpos();
                }
@@ -1190,6 +1376,7 @@ void InsetMathHull::doDispatch(Cursor & cur, FuncRequest & cmd)
                                numbered(row, !old);
 
                cur.message(old ? _("No number") : _("Number"));
+               cur.forceBufferUpdate();
                break;
        }
 
@@ -1199,6 +1386,7 @@ void InsetMathHull::doDispatch(Cursor & cur, FuncRequest & cmd)
                bool old = numbered(r);
                cur.message(old ? _("No number") : _("Number"));
                numbered(r, !old);
+               cur.forceBufferUpdate();
                break;
        }
 
@@ -1206,14 +1394,13 @@ void InsetMathHull::doDispatch(Cursor & cur, FuncRequest & cmd)
                cur.recordUndoInset();
                row_type r = (type_ == hullMultline) ? nrows() - 1 : cur.row();
                docstring old_label = label(r);
-               docstring const default_label = from_ascii(
-                       (lyxrc.label_init_length >= 0) ? "eq:" : "");
+               docstring const default_label = from_ascii("eq:");
                if (old_label.empty())
                        old_label = default_label;
 
                InsetCommandParams p(LABEL_CODE);
                p["name"] = cmd.argument().empty() ? old_label : cmd.argument();
-               string const data = InsetCommand::params2string("label", p);
+               string const data = InsetCommand::params2string(p);
 
                if (cmd.argument().empty())
                        cur.bv().showDialog("label", data);
@@ -1234,7 +1421,7 @@ void InsetMathHull::doDispatch(Cursor & cur, FuncRequest & cmd)
                        // if there is an argument, find the corresponding label, else
                        // check whether there is at least one label.
                        for (row = 0; row != nrows(); ++row)
-                               if (!nonum_[row] && label_[row]
+                               if (numbered_[row] && label_[row]
                                          && (cmd.argument().empty() || label(row) == cmd.argument()))
                                        break;
                }
@@ -1245,7 +1432,7 @@ void InsetMathHull::doDispatch(Cursor & cur, FuncRequest & cmd)
                InsetCommandParams p(REF_CODE, "ref");
                p["reference"] = label(row);
                cap::clearSelection();
-               cap::copyInset(cur, new InsetRef(*cur.buffer(), p), label(row));
+               cap::copyInset(cur, new InsetRef(buffer_, p), label(row));
                break;
        }
 
@@ -1260,6 +1447,7 @@ void InsetMathHull::doDispatch(Cursor & cur, FuncRequest & cmd)
                        } else if (numbered(row(cur.idx()))) {
                                cur.recordUndoInset();
                                numbered(row(cur.idx()), false);
+                               cur.forceBufferUpdate();
                        } else {
                                InsetMathGrid::doDispatch(cur, cmd);
                                return;
@@ -1276,7 +1464,7 @@ void InsetMathHull::doDispatch(Cursor & cur, FuncRequest & cmd)
                string const name = cmd.getArg(0);
                if (name == "label") {
                        InsetCommandParams p(LABEL_CODE);
-                       InsetCommand::string2params(name, to_utf8(cmd.argument()), p);
+                       InsetCommand::string2params(to_utf8(cmd.argument()), p);
                        docstring str = p["name"];
                        cur.recordUndoInset();
                        row_type const r = (type_ == hullMultline) ? nrows() - 1 : cur.row();
@@ -1294,6 +1482,7 @@ void InsetMathHull::doDispatch(Cursor & cur, FuncRequest & cmd)
                                        label_[r]->initView();
                                }
                        }
+                       cur.forceBufferUpdate();
                        break;
                }
                InsetMathGrid::doDispatch(cur, cmd);
@@ -1318,6 +1507,7 @@ void InsetMathHull::doDispatch(Cursor & cur, FuncRequest & cmd)
                if (cur.pos() > cur.lastpos())
                        cur.pos() = cur.lastpos();
 
+               cur.forceBufferUpdate();
                // FIXME: find some more clever handling of the selection,
                // i.e. preserve it.
                cur.clearSelection();
@@ -1344,7 +1534,7 @@ void InsetMathHull::doDispatch(Cursor & cur, FuncRequest & cmd)
 bool InsetMathHull::getStatus(Cursor & cur, FuncRequest const & cmd,
                FuncStatus & status) const
 {
-       switch (cmd.action) {
+       switch (cmd.action()) {
        case LFUN_FINISHED_BACKWARD:
        case LFUN_FINISHED_FORWARD:
        case LFUN_FINISHED_RIGHT:
@@ -1353,22 +1543,51 @@ bool InsetMathHull::getStatus(Cursor & cur, FuncRequest const & cmd,
        case LFUN_DOWN:
        case LFUN_NEWLINE_INSERT:
        case LFUN_MATH_EXTERN:
-       case LFUN_MATH_DISPLAY:
                // we handle these
                status.setEnabled(true);
                return true;
 
+       // we never allow this in math, and we want to bind enter
+       // to another actions in command-alternatives
+       case LFUN_BREAK_PARAGRAPH:
+               status.setEnabled(false);
+               return true;
        case LFUN_MATH_MUTATE: {
-               HullType ht = hullType(cmd.argument());
+               HullType const ht = hullType(cmd.argument());
                status.setOnOff(type_ == ht);
                status.setEnabled(true);
+
+               if (ht != hullSimple) {
+                       Cursor tmpcur = cur;
+                       while (!tmpcur.empty()) {
+                               InsetCode code = tmpcur.inset().lyxCode();
+                               if (code == BOX_CODE) {
+                                       return true;
+                               } else if (code == TABULAR_CODE) {
+                                       FuncRequest tmpcmd(LFUN_MATH_DISPLAY);
+                                       if (tmpcur.getStatus(tmpcmd, status) && !status.enabled())
+                                               return true;
+                               }
+                               tmpcur.pop_back();
+                       }
+               }
+               return true;
+       }
+       case LFUN_MATH_DISPLAY: {
+               bool enable = true;
+               if (cur.depth() > 1) {
+                       Inset const & in = cur[cur.depth()-2].inset();
+                       if (in.lyxCode() == SCRIPT_CODE)
+                               enable = display() != Inline;
+               }
+               status.setEnabled(enable);
                return true;
        }
 
        case LFUN_MATH_NUMBER_TOGGLE:
                // FIXME: what is the right test, this or the one of
                // LABEL_INSERT?
-               status.setEnabled(display());
+               status.setEnabled(display() != Inline);
                status.setOnOff(numberedType());
                return true;
 
@@ -1395,12 +1614,12 @@ bool InsetMathHull::getStatus(Cursor & cur, FuncRequest const & cmd,
                        // if there is no argument and we're inside math, we retrieve
                        // the row number from the cursor position.
                        row = (type_ == hullMultline) ? nrows() - 1 : cur.row();
-                       enabled = numberedType() && label_[row] && !nonum_[row];
+                       enabled = numberedType() && label_[row] && numbered_[row];
                } else {
                        // if there is an argument, find the corresponding label, else
                        // check whether there is at least one label.
                        for (row_type row = 0; row != nrows(); ++row) {
-                               if (!nonum_[row] && label_[row] && 
+                               if (numbered_[row] && label_[row] && 
                                        (cmd.argument().empty() || label(row) == cmd.argument())) {
                                                enabled = true;
                                                break;
@@ -1418,10 +1637,13 @@ bool InsetMathHull::getStatus(Cursor & cur, FuncRequest const & cmd,
                }
                return InsetMathGrid::getStatus(cur, cmd, status);
 
-       case LFUN_TABULAR_FEATURE: {
+       case LFUN_INSET_MODIFY: {
                istringstream is(to_utf8(cmd.argument()));
                string s;
                is >> s;
+               if (s != "tabular")
+                       return InsetMathGrid::getStatus(cur, cmd, status);
+               is >> s;
                if (!rowChangeOK()
                    && (s == "append-row"
                        || s == "delete-row"
@@ -1512,7 +1734,7 @@ void InsetMathHull::handleFont(Cursor & cur, docstring const & arg,
        if (cur.inset().asInsetMath()->name() == font)
                cur.handleFont(to_utf8(font));
        else {
-               cur.handleNest(createInsetMath(font));
+               cur.handleNest(createInsetMath(font, cur.buffer()));
                cur.insert(arg);
        }
 }
@@ -1525,7 +1747,7 @@ void InsetMathHull::handleFont2(Cursor & cur, docstring const & arg)
        bool b;
        font.fromString(to_utf8(arg), b);
        if (font.fontInfo().color() != Color_inherit) {
-               MathAtom at = MathAtom(new InsetMathColor(true, font.fontInfo().color()));
+               MathAtom at = MathAtom(new InsetMathColor(buffer_, true, font.fontInfo().color()));
                cur.handleNest(at, 0);
        }
 }
@@ -1540,7 +1762,7 @@ void InsetMathHull::edit(Cursor & cur, bool front, EntryDirection entry_from)
        // The inset formula dimension is not necessarily the same as the
        // one of the instant preview image, so we have to indicate to the
        // BufferView that a metrics update is needed.
-       cur.updateFlags(Update::Force);
+       cur.screenUpdateFlags(Update::Force);
 }
 
 
@@ -1637,7 +1859,7 @@ void InsetMathHull::write(ostream & os) const
 void InsetMathHull::read(Lexer & lex)
 {
        MathAtom at;
-       mathed_parse_normal(at, lex, Parse::NORMAL, &buffer());
+       mathed_parse_normal(buffer_, at, lex, Parse::TRACKMACRO);
        operator=(*at->asHullInset());
 }
 
@@ -1645,7 +1867,7 @@ void InsetMathHull::read(Lexer & lex)
 bool InsetMathHull::readQuiet(Lexer & lex)
 {
        MathAtom at;
-       bool success = mathed_parse_normal(at, lex, Parse::QUIET, &buffer());
+       bool success = mathed_parse_normal(buffer_, at, lex, Parse::QUIET);
        if (success)
                operator=(*at->asHullInset());
        return success;
@@ -1654,6 +1876,7 @@ bool InsetMathHull::readQuiet(Lexer & lex)
 
 int InsetMathHull::plaintext(odocstream & os, OutputParams const &) const
 {
+       // disables ASCII-art for export of equations. See #2275.
        if (0 && display()) {
                Dimension dim;
                TextMetricsInfo mi;
@@ -1697,6 +1920,7 @@ int InsetMathHull::docbook(odocstream & os, OutputParams const & runparams) cons
        ++ms.tab(); ms.cr(); ms.os() << '<' << bname << '>';
 
        odocstringstream ls;
+       otexstream ols(ls);
        if (runparams.flavor == OutputParams::XML) {
                ms << MTag("alt role='tex' ");
                // Workaround for db2latex: db2latex always includes equations with
@@ -1713,7 +1937,7 @@ int InsetMathHull::docbook(odocstream & os, OutputParams const & runparams) cons
                ms << ETag("math");
        } else {
                ms << MTag("alt role='tex'");
-               res = latex(ls, runparams);
+               res = latex(ols, runparams);
                ms << from_utf8(subst(subst(to_utf8(ls.str()), "&", "&amp;"), "<", "&lt;"));
                ms << ETag("alt");
        }
@@ -1735,16 +1959,254 @@ int InsetMathHull::docbook(odocstream & os, OutputParams const & runparams) cons
 }
 
 
-void InsetMathHull::tocString(odocstream & os) const
+bool InsetMathHull::haveNumbers() const
+{
+       bool havenumbers = false;
+       for (size_t i = 0; i != numbered_.size(); ++i) {
+               if (numbered_[i]) {
+                       havenumbers = true;
+                       break;
+               }
+       }
+       return havenumbers;
+}
+
+
+// FIXME XHTML
+// We need to do something about alignment here.
+//
+// This duplicates code from InsetMathGrid, but
+// we need access here to number information,
+// and we simply do not have that in InsetMathGrid.
+void InsetMathHull::htmlize(HtmlStream & os) const
+{
+       bool const havenumbers = haveNumbers();
+       bool const havetable = havenumbers || nrows() > 1 || ncols() > 1;
+
+       if (!havetable) {
+               os << cell(index(0, 0));
+               return;
+       }
+
+       os << MTag("table", "class='mathtable'");
+       for (row_type row = 0; row < nrows(); ++row) {
+               os << MTag("tr");
+               for (col_type col = 0; col < ncols(); ++col) {
+                       os << MTag("td");
+                       os << cell(index(row, col));
+                       os << ETag("td");
+               }
+               if (havenumbers) {
+                       os << MTag("td");
+                       docstring const & num = numbers_[row];
+                       if (!num.empty())
+                               os << '(' << num << ')';
+                 os << ETag("td");
+               }
+               os << ETag("tr");
+       }
+       os << ETag("table");
+}
+
+
+// this duplicates code from InsetMathGrid, but
+// we need access here to number information,
+// and we simply do not have that in InsetMathGrid.
+void InsetMathHull::mathmlize(MathStream & os) const
+{
+       bool const havenumbers = haveNumbers();
+       bool const havetable = havenumbers || nrows() > 1 || ncols() > 1;
+
+       if (havetable)
+               os << MTag("mtable");
+       char const * const celltag = havetable ? "mtd" : "mrow";
+       // FIXME There does not seem to be wide support at the moment
+       // for mlabeledtr, so we have to use just mtr for now.
+       // char const * const rowtag = havenumbers ? "mlabeledtr" : "mtr";
+       char const * const rowtag = "mtr";
+       for (row_type row = 0; row < nrows(); ++row) {
+               if (havetable)
+                       os << MTag(rowtag);
+               for (col_type col = 0; col < ncols(); ++col) {
+                       os << MTag(celltag)
+                          << cell(index(row, col))
+                          << ETag(celltag);
+               }
+               // fleqn?
+               if (havenumbers) {
+                       os << MTag("mtd");
+                       docstring const & num = numbers_[row];
+                       if (!num.empty())
+                               os << '(' << num << ')';
+                 os << ETag("mtd");
+               }
+               if (havetable)
+                       os << ETag(rowtag);
+       }
+       if (havetable)
+               os << ETag("mtable");
+}
+
+
+void InsetMathHull::mathAsLatex(WriteStream & os) const
+{
+       MathEnsurer ensurer(os, false);
+       bool havenumbers = haveNumbers();
+       bool const havetable = havenumbers || nrows() > 1 || ncols() > 1;
+
+       if (!havetable) {
+               os << cell(index(0, 0));
+               return;
+       }
+
+       os << "<table class='mathtable'>";
+       for (row_type row = 0; row < nrows(); ++row) {
+               os << "<tr>";
+               for (col_type col = 0; col < ncols(); ++col) {
+                       os << "<td class='math'>";
+                       os << cell(index(row, col));
+                       os << "</td>";
+               }
+               if (havenumbers) {
+                       os << "<td>";
+                       docstring const & num = numbers_[row];
+                       if (!num.empty())
+                               os << '(' << num << ')';
+                 os << "</td>";
+               }
+               os << "</tr>";
+       }
+       os << "</table>";
+}
+
+
+docstring InsetMathHull::xhtml(XHTMLStream & xs, OutputParams const & op) const
+{
+       BufferParams::MathOutput const mathtype = 
+               buffer().params().html_math_output;
+
+       bool success = false;
+
+       // we output all the labels just at the beginning of the equation.
+       // this should be fine.
+       for (size_t i = 0; i != label_.size(); ++i) {
+               InsetLabel const * const il = label_[i];
+               if (!il)
+                       continue;
+               il->xhtml(xs, op);
+       }
+
+       // FIXME Eventually we would like to do this inset by inset.
+       if (mathtype == BufferParams::MathML) {
+               odocstringstream os;
+               MathStream ms(os);
+               try {
+                       mathmlize(ms);
+                       success = true;
+               } catch (MathExportException const &) {}
+               if (success) {
+                       if (getType() == hullSimple)
+                               xs << html::StartTag("math", 
+                                                       "xmlns=\"http://www.w3.org/1998/Math/MathML\"", true);
+                       else 
+                               xs << html::StartTag("math", 
+                                     "display=\"block\" xmlns=\"http://www.w3.org/1998/Math/MathML\"", true);
+                       xs << XHTMLStream::ESCAPE_NONE
+                                << os.str()
+                                << html::EndTag("math");
+               }
+       } else if (mathtype == BufferParams::HTML) {
+               odocstringstream os;
+               HtmlStream ms(os);
+               try {
+                       htmlize(ms);
+                       success = true;
+               } catch (MathExportException const &) {}
+               if (success) {
+                       string const tag = (getType() == hullSimple) ? "span" : "div";
+                       xs << html::StartTag(tag, "class='formula'", true)
+                          << XHTMLStream::ESCAPE_NONE
+                          << os.str()
+                          << html::EndTag(tag);
+               }
+       }
+       
+       // what we actually want is this:
+       // if (
+       //     ((mathtype == BufferParams::MathML || mathtype == BufferParams::HTML) 
+       //       && !success)
+       //     || mathtype == BufferParams::Images
+       //    )
+       // but what follows is equivalent, since we'll enter only if either (a) we 
+       // tried and failed with MathML or HTML or (b) didn't try yet at all but
+       // aren't doing LaTeX, in which case we are doing Images.
+       if (!success && mathtype != BufferParams::LaTeX) {
+               loadPreview(docit_);
+               graphics::PreviewImage const * pimage = preview_->getPreviewImage(buffer());
+               if (pimage) {
+                       // FIXME Do we always have png?
+                       string const tag = (getType() == hullSimple) ? "span" : "div";
+                       FileName const & mathimg = pimage->filename();
+                       xs << html::StartTag(tag)
+                          << html::CompTag("img", "src=\"" + mathimg.onlyFileName() + "\"")
+                          << html::EndTag(tag);
+                       xs.cr();
+                       // add the file to the list of files to be exported
+                       op.exportdata->addExternalFile("xhtml", mathimg);
+                       success = true;
+               }
+       }
+       
+       // so we'll pass this test if we've failed everything else, or
+       // if mathtype was LaTeX, since we won't have entered any of the
+       // earlier branches
+       if (!success /* || mathtype != BufferParams::LaTeX */) {
+               // Unfortunately, we cannot use latexString() because we do not want
+               // $...$ or whatever.
+               odocstringstream ls;
+               WriteStream wi(ls, false, true, WriteStream::wsPreview);
+               ModeSpecifier specifier(wi, MATH_MODE);
+               mathAsLatex(wi);
+               docstring const latex = ls.str();
+               
+               // class='math' allows for use of jsMath
+               // http://www.math.union.edu/~dpvc/jsMath/
+               // FIXME XHTML
+               // probably should allow for some kind of customization here
+               string const tag = (getType() == hullSimple) ? "span" : "div";
+               xs << html::StartTag(tag, "class='math'")
+                  << XHTMLStream::ESCAPE_AND
+                  << latex 
+                  << html::EndTag(tag);
+               xs.cr();
+       }
+       return docstring();
+}
+
+
+void InsetMathHull::toString(odocstream & os) const
 {
        plaintext(os, OutputParams(0));
 }
 
 
-docstring InsetMathHull::contextMenu(BufferView const &, int, int) const
+void InsetMathHull::forToc(docstring & os, size_t) const
+{
+       odocstringstream ods;
+       plaintext(ods, OutputParams(0));
+       os += ods.str();
+}
+
+
+docstring InsetMathHull::contextMenuName() const
 {
        return from_ascii("context-math");
 }
 
 
+void InsetMathHull::recordLocation(DocIterator const & di)
+{
+       docit_ = di;
+}
+
 } // namespace lyx