]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/MathMacro.cpp
Remove hardcoded values
[lyx.git] / src / mathed / MathMacro.cpp
index b23be099dc98730a2cede2ca882e49c8e51b1eb2..6a5c904df7161855c8c9286df8e7e95142355870 100644 (file)
@@ -30,6 +30,7 @@
 #include "LaTeXFeatures.h"
 #include "LyX.h"
 #include "LyXRC.h"
+#include "MetricsInfo.h"
 
 #include "frontends/Painter.h"
 
@@ -37,6 +38,7 @@
 #include "support/gettext.h"
 #include "support/lassert.h"
 #include "support/lstrings.h"
+#include "support/RefChanger.h"
 #include "support/textutils.h"
 
 #include <ostream>
@@ -52,72 +54,92 @@ namespace lyx {
 class ArgumentProxy : public InsetMath {
 public:
        ///
-       ArgumentProxy(MathMacro & mathMacro, size_t idx)
+       ArgumentProxy(MathMacro * mathMacro, size_t idx)
                : mathMacro_(mathMacro), idx_(idx) {}
        ///
-       ArgumentProxy(MathMacro & mathMacro, size_t idx, docstring const & def)
+       ArgumentProxy(MathMacro * mathMacro, size_t idx, docstring const & def)
                : mathMacro_(mathMacro), idx_(idx)
        {
                        asArray(def, def_);
        }
        ///
+       void setOwner(MathMacro * mathMacro) { mathMacro_ = mathMacro; }
+       ///
+       MathMacro const * owner() { return mathMacro_; }
+       ///
        InsetCode lyxCode() const { return ARGUMENT_PROXY_CODE; }
+       /// The math data to use for display
+       MathData const & displayCell(BufferView const * bv) const
+       {
+               // handle default macro arguments
+               bool use_def_arg = !mathMacro_->editMetrics(bv)
+                       && mathMacro_->cell(idx_).empty();
+               return use_def_arg ? def_ : mathMacro_->cell(idx_);
+       }
        ///
-       void metrics(MetricsInfo & mi, Dimension & dim) const {
-               mathMacro_.macro()->unlock();
-               mathMacro_.cell(idx_).metrics(mi, dim);
+       bool addToMathRow(MathRow & mrow, MetricsInfo & mi) const
+       {
+               // macro arguments are in macros
+               LATTEST(mathMacro_->nesting() > 0);
+               /// The macro nesting can change display of insets. Change it locally.
+               Changer chg = make_change(mi.base.macro_nesting, mathMacro_->nesting());
+
+               MathRow::Element e_beg(MathRow::BEG_ARG);
+               e_beg.macro = mathMacro_;
+               e_beg.ar = &mathMacro_->cell(idx_);
+               mrow.push_back(e_beg);
+
+               mathMacro_->macro()->unlock();
+               bool has_contents = displayCell(mi.base.bv).addToMathRow(mrow, mi);
+               mathMacro_->macro()->lock();
+
+               // if there was no contents, and the contents is editable,
+               // then we insert a box instead.
+               if (!has_contents && mathMacro_->nesting() == 1) {
+                       // mathclass is ord because it should be spaced as a normal atom
+                       MathRow::Element e(MathRow::BOX, MC_ORD);
+                       e.color = Color_mathline;
+                       mrow.push_back(e);
+                       has_contents = true;
+               }
 
-               if (!mathMacro_.editMetrics(mi.base.bv)
-                   && mathMacro_.cell(idx_).empty())
-                       def_.metrics(mi, dim);
+               MathRow::Element e_end(MathRow::END_ARG);
+               e_end.macro = mathMacro_;
+               e_end.ar = &mathMacro_->cell(idx_);
 
-               mathMacro_.macro()->lock();
+               mrow.push_back(e_end);
+
+               return has_contents;
        }
-       // write(), normalize(), infoize() and infoize2() are not needed since
-       // MathMacro uses the definition and not the expanded cells.
        ///
-       void maple(MapleStream & ms) const { ms << mathMacro_.cell(idx_); }
+       void metrics(MetricsInfo &, Dimension &) const {
+               // This should never be invoked, since ArgumentProxy insets are linearized
+               LATTEST(false);
+       }
        ///
-       void maxima(MaximaStream & ms) const { ms << mathMacro_.cell(idx_); }
+       int kerning(BufferView const * bv) const
+       {
+               return displayCell(bv).kerning(bv);
+       }
        ///
-       void mathematica(MathematicaStream & ms) const { ms << mathMacro_.cell(idx_); }
+       void draw(PainterInfo &, int, int) const {
+               // This should never be invoked, since ArgumentProxy insets are linearized
+               LATTEST(false);
+       }
+       // write(), normalize(), infoize() and infoize2() are not needed since
+       // MathMacro uses the definition and not the expanded cells.
        ///
-       void mathmlize(MathStream & ms) const { ms << mathMacro_.cell(idx_); }
+       void maple(MapleStream & ms) const { ms << mathMacro_->cell(idx_); }
        ///
-       void htmlize(HtmlStream & ms) const { ms << mathMacro_.cell(idx_); }
+       void maxima(MaximaStream & ms) const { ms << mathMacro_->cell(idx_); }
        ///
-       void octave(OctaveStream & os) const { os << mathMacro_.cell(idx_); }
+       void mathematica(MathematicaStream & ms) const { ms << mathMacro_->cell(idx_); }
        ///
-       void draw(PainterInfo & pi, int x, int y) const {
-               if (mathMacro_.editMetrics(pi.base.bv)) {
-                       // The only way a ArgumentProxy can appear is in a cell of the
-                       // MathMacro. Moreover the cells are only drawn in the DISPLAY_FOLDED
-                       // mode and then, if the macro is edited the monochrome
-                       // mode is entered by the MathMacro before calling the cells' draw
-                       // method. Then eventually this code is reached and the proxy leaves
-                       // monochrome mode temporarely. Hence, if it is not in monochrome
-                       // here (and the assert triggers in pain.leaveMonochromeMode())
-                       // it's a bug.
-                       pi.pain.leaveMonochromeMode();
-                       mathMacro_.cell(idx_).draw(pi, x, y);
-                       pi.pain.enterMonochromeMode(Color_mathbg, Color_mathmacroblend);
-               } else if (mathMacro_.cell(idx_).empty()) {
-                       mathMacro_.cell(idx_).setXY(*pi.base.bv, x, y);
-                       def_.draw(pi, x, y);
-               } else
-                       mathMacro_.cell(idx_).draw(pi, x, y);
-       }
+       void mathmlize(MathStream & ms) const { ms << mathMacro_->cell(idx_); }
        ///
-       size_t idx() const { return idx_; }
+       void htmlize(HtmlStream & ms) const { ms << mathMacro_->cell(idx_); }
        ///
-       int kerning(BufferView const * bv) const
-       {
-               if (mathMacro_.editMetrics(bv)
-                   || !mathMacro_.cell(idx_).empty())
-                       return mathMacro_.cell(idx_).kerning(bv);
-               else
-                       return def_.kerning(bv);
-       }
+       void octave(OctaveStream & os) const { os << mathMacro_->cell(idx_); }
 
 private:
        ///
@@ -126,7 +148,7 @@ private:
                return new ArgumentProxy(*this);
        }
        ///
-       MathMacro & mathMacro_;
+       MathMacro * mathMacro_;
        ///
        size_t idx_;
        ///
@@ -134,19 +156,179 @@ private:
 };
 
 
+/// Private implementation of MathMacro
+class MathMacro::Private {
+public:
+       Private(Buffer * buf, docstring const & name)
+               : name_(name), displayMode_(DISPLAY_INIT),
+                 expanded_(buf), definition_(buf), attachedArgsNum_(0),
+                 optionals_(0), nextFoldMode_(true), macroBackup_(buf),
+                 macro_(0), needsUpdate_(false), isUpdating_(false),
+                 appetite_(9)
+       {
+       }
+       /// Update the pointers to our owner of all expanded macros.
+       /// This needs to be called every time a copy of the owner is created
+       /// (bug 9418).
+       void updateChildren(MathMacro * owner);
+       /// Recursively update the pointers of all expanded macros
+       /// appearing in the arguments of the current macro
+       void updateNestedChildren(MathMacro * owner, InsetMathNest * ni);
+       /// name of macro
+       docstring name_;
+       /// current display mode
+       DisplayMode displayMode_;
+       /// expanded macro with ArgumentProxies
+       MathData expanded_;
+       /// macro definition with #1,#2,.. insets
+       MathData definition_;
+       /// number of arguments that were really attached
+       size_t attachedArgsNum_;
+       /// optional argument attached? (only in DISPLAY_NORMAL mode)
+       size_t optionals_;
+       /// fold mode to be set in next metrics call?
+       bool nextFoldMode_;
+       /// if macro_ == true, then here is a copy of the macro
+       /// don't use it for locking
+       MacroData macroBackup_;
+       /// if macroNotFound_ == false, then here is a reference to the macro
+       /// this might invalidate after metrics was called
+       MacroData const * macro_;
+       ///
+       mutable std::map<BufferView const *, bool> editing_;
+       ///
+       std::string requires_;
+       /// update macro representation
+       bool needsUpdate_;
+       ///
+       bool isUpdating_;
+       /// maximal number of arguments the macro is greedy for
+       size_t appetite_;
+       /// Level of nesting in macros (including this one)
+       int nesting_;
+};
+
+
+void MathMacro::Private::updateChildren(MathMacro * owner)
+{
+       for (size_t i = 0; i < expanded_.size(); ++i) {
+               ArgumentProxy * p = dynamic_cast<ArgumentProxy *>(expanded_[i].nucleus());
+               if (p)
+                       p->setOwner(owner);
+
+               InsetMathNest * ni = expanded_[i].nucleus()->asNestInset();
+               if (ni)
+                       updateNestedChildren(owner, ni);
+       }
+
+       if (macro_) {
+               // The macro_ pointer is updated when MathData::metrics() is
+               // called. However, when instant preview is on or the macro is
+               // not on screen, MathData::metrics() is not called and we may
+               // have a dangling pointer. As a safety measure, when a macro
+               // is copied, always let macro_ point to the backup copy of the
+               // MacroData structure. This backup is updated every time the
+               // macro is changed, so it will not become stale.
+               macro_ = &macroBackup_;
+       }
+}
+
+
+void MathMacro::Private::updateNestedChildren(MathMacro * owner, InsetMathNest * ni)
+{
+       for (size_t i = 0; i < ni->nargs(); ++i) {
+               MathData & ar = ni->cell(i);
+               for (size_t j = 0; j < ar.size(); ++j) {
+                       ArgumentProxy * ap = dynamic_cast
+                               <ArgumentProxy *>(ar[j].nucleus());
+                       if (ap) {
+                               MathMacro::Private * md = ap->owner()->d;
+                               if (md->macro_)
+                                       md->macro_ = &md->macroBackup_;
+                               ap->setOwner(owner);
+                       }
+                       InsetMathNest * imn = ar[j].nucleus()->asNestInset();
+                       if (imn)
+                               updateNestedChildren(owner, imn);
+               }
+       }
+}
+
+
 MathMacro::MathMacro(Buffer * buf, docstring const & name)
-       : InsetMathNest(buf, 0), name_(name), displayMode_(DISPLAY_INIT),
-               expanded_(buf), attachedArgsNum_(0), optionals_(0), nextFoldMode_(true),
-               macroBackup_(buf), macro_(0), needsUpdate_(false),
-               isUpdating_(false), appetite_(9)
+       : InsetMathNest(buf, 0), d(new Private(buf, name))
 {}
 
 
+MathMacro::MathMacro(MathMacro const & that)
+       : InsetMathNest(that), d(new Private(*that.d))
+{
+       setBuffer(*that.buffer_);
+       d->updateChildren(this);
+}
+
+
+MathMacro & MathMacro::operator=(MathMacro const & that)
+{
+       if (&that == this)
+               return *this;
+       InsetMathNest::operator=(that);
+       *d = *that.d;
+       d->updateChildren(this);
+       return *this;
+}
+
+
+MathMacro::~MathMacro()
+{
+       delete d;
+}
+
+
+bool MathMacro::addToMathRow(MathRow & mrow, MetricsInfo & mi) const
+{
+       // set edit mode for which we will have calculated row.
+       // This is the same as what is done in metrics().
+       d->editing_[mi.base.bv] = editMode(mi.base.bv);
+
+       /// The macro nesting can change display of insets. Change it locally.
+       Changer chg = make_change(mi.base.macro_nesting, d->nesting_);
+
+       if (displayMode() != MathMacro::DISPLAY_NORMAL
+           || d->editing_[mi.base.bv])
+               return InsetMath::addToMathRow(mrow, mi);
+
+       MathRow::Element e_beg(MathRow::BEG_MACRO);
+       e_beg.macro = this;
+       mrow.push_back(e_beg);
+
+       d->macro_->lock();
+       bool has_contents = d->expanded_.addToMathRow(mrow, mi);
+       d->macro_->unlock();
+
+       // if there was no contents and the array is editable, then we
+       // insert a grey box instead.
+       if (!has_contents && mi.base.macro_nesting == 1) {
+               // mathclass is unknown because it is irrelevant for spacing
+               MathRow::Element e(MathRow::BOX);
+               e.color = Color_mathmacroblend;
+               mrow.push_back(e);
+               has_contents = true;
+       }
+
+       MathRow::Element e_end(MathRow::END_MACRO);
+       e_end.macro = this;
+       mrow.push_back(e_end);
+
+       return has_contents;
+}
+
+
 Inset * MathMacro::clone() const
 {
        MathMacro * copy = new MathMacro(*this);
-       copy->needsUpdate_ = true;
-       //copy->expanded_.clear();
+       copy->d->needsUpdate_ = true;
+       //copy->d->expanded_.clear();
        return copy;
 }
 
@@ -160,12 +342,36 @@ void MathMacro::normalize(NormalStream & os) const
 }
 
 
+MathMacro::DisplayMode MathMacro::displayMode() const
+{
+       return d->displayMode_;
+}
+
+
+bool MathMacro::extraBraces() const
+{
+       return d->displayMode_ == DISPLAY_NORMAL && arity() > 0;
+}
+
+
 docstring MathMacro::name() const
 {
-       if (displayMode_ == DISPLAY_UNFOLDED)
+       if (d->displayMode_ == DISPLAY_UNFOLDED)
                return asString(cell(0));
 
-       return name_;
+       return d->name_;
+}
+
+
+docstring MathMacro::macroName() const
+{
+       return d->name_;
+}
+
+
+int MathMacro::nesting() const
+{
+       return d->nesting_;
 }
 
 
@@ -202,33 +408,44 @@ bool MathMacro::editMode(BufferView const * bv) const {
 }
 
 
+MacroData const * MathMacro::macro() const
+{
+       return d->macro_;
+}
+
+
 bool MathMacro::editMetrics(BufferView const * bv) const
 {
-       return editing_[bv];
+       return d->editing_[bv];
 }
 
 
 void MathMacro::metrics(MetricsInfo & mi, Dimension & dim) const
 {
+       /// The macro nesting can change display of insets. Change it locally.
+       Changer chg = make_change(mi.base.macro_nesting, d->nesting_);
+
        // set edit mode for which we will have calculated metrics. But only
-       editing_[mi.base.bv] = editMode(mi.base.bv);
+       d->editing_[mi.base.bv] = editMode(mi.base.bv);
 
        // calculate new metrics according to display mode
-       if (displayMode_ == DISPLAY_INIT || displayMode_ == DISPLAY_INTERACTIVE_INIT) {
+       if (d->displayMode_ == DISPLAY_INIT || d->displayMode_ == DISPLAY_INTERACTIVE_INIT) {
+               Changer dummy = mi.base.changeFontSet("lyxtex");
                mathed_string_dim(mi.base.font, from_ascii("\\") + name(), dim);
-       } else if (displayMode_ == DISPLAY_UNFOLDED) {
+       } else if (d->displayMode_ == DISPLAY_UNFOLDED) {
+               Changer dummy = mi.base.changeFontSet("lyxtex");
                cell(0).metrics(mi, dim);
                Dimension bsdim;
                mathed_string_dim(mi.base.font, from_ascii("\\"), bsdim);
                dim.wid += bsdim.width() + 1;
                dim.asc = max(bsdim.ascent(), dim.ascent());
                dim.des = max(bsdim.descent(), dim.descent());
-               metricsMarkers(dim);
+               metricsMarkers(mi, dim);
        } else if (lyxrc.macro_edit_style == LyXRC::MACRO_EDIT_LIST
-                  && editing_[mi.base.bv]) {
+                  && d->editing_[mi.base.bv]) {
                // Macro will be edited in a old-style list mode here:
 
-               LBUFERR(macro_);
+               LBUFERR(d->macro_);
                Dimension fontDim;
                FontInfo labelFont = sane_font;
                math_font_max_dim(labelFont, fontDim.asc, fontDim.des);
@@ -245,7 +462,7 @@ void MathMacro::metrics(MetricsInfo & mi, Dimension & dim) const
                argDim.des = fontDim.des;
 
                Dimension defDim;
-               definition_.metrics(mi, defDim);
+               d->definition_.metrics(mi, defDim);
 
                // add them up
                dim.wid = nameDim.wid + defDim.wid;
@@ -263,13 +480,17 @@ void MathMacro::metrics(MetricsInfo & mi, Dimension & dim) const
                dim.asc += 1;
                dim.des += 1;
                dim.wid += 2;
-               metricsMarkers2(dim);
+               metricsMarkers2(mi, dim);
        } else {
-               LBUFERR(macro_);
+               LBUFERR(d->macro_);
+
+               Changer dummy = (currentMode() == TEXT_MODE)
+                       ? mi.base.font.changeShape(UP_SHAPE)
+                       : Changer();
 
                // calculate metrics, hoping that all cells are seen
-               macro_->lock();
-               expanded_.metrics(mi, dim);
+               d->macro_->lock();
+               d->expanded_.metrics(mi, dim);
 
                // otherwise do a manual metrics call
                CoordCache & coords = mi.base.bv->coordCache();
@@ -279,13 +500,13 @@ void MathMacro::metrics(MetricsInfo & mi, Dimension & dim) const
                                cell(i).metrics(mi, tdim);
                        }
                }
-               macro_->unlock();
+               d->macro_->unlock();
 
                // calculate dimension with label while editing
                if (lyxrc.macro_edit_style == LyXRC::MACRO_EDIT_INLINE_BOX
-                   && editing_[mi.base.bv]) {
+                   && d->editing_[mi.base.bv]) {
                        FontInfo font = mi.base.font;
-                       augmentFont(font, from_ascii("lyxtex"));
+                       augmentFont(font, "lyxtex");
                        Dimension namedim;
                        mathed_string_dim(font, name(), namedim);
 #if 0
@@ -302,8 +523,8 @@ void MathMacro::metrics(MetricsInfo & mi, Dimension & dim) const
 
 
 int MathMacro::kerning(BufferView const * bv) const {
-       if (displayMode_ == DISPLAY_NORMAL && !editing_[bv])
-               return expanded_.kerning(bv);
+       if (d->displayMode_ == DISPLAY_NORMAL && !d->editing_[bv])
+               return d->expanded_.kerning(bv);
        else
                return 0;
 }
@@ -312,13 +533,13 @@ int MathMacro::kerning(BufferView const * bv) const {
 void MathMacro::updateMacro(MacroContext const & mc)
 {
        if (validName()) {
-               macro_ = mc.get(name());
-               if (macro_ && macroBackup_ != *macro_) {
-                       macroBackup_ = *macro_;
-                       needsUpdate_ = true;
+               d->macro_ = mc.get(name());
+               if (d->macro_ && d->macroBackup_ != *d->macro_) {
+                       d->macroBackup_ = *d->macro_;
+                       d->needsUpdate_ = true;
                }
        } else {
-               macro_ = 0;
+               d->macro_ = 0;
        }
 }
 
@@ -328,9 +549,9 @@ class MathMacro::UpdateLocker
 public:
        explicit UpdateLocker(MathMacro & mm) : mac(mm)
        {
-               mac.isUpdating_ = true;
+               mac.d->isUpdating_ = true;
        }
-       ~UpdateLocker() { mac.isUpdating_ = false; }
+       ~UpdateLocker() { mac.d->isUpdating_ = false; }
 private:
        MathMacro & mac;
 };
@@ -344,39 +565,42 @@ private:
 
 
 void MathMacro::updateRepresentation(Cursor * cur, MacroContext const & mc,
-               UpdateType utype)
+       UpdateType utype, int nesting)
 {
        // block recursive calls (bug 8999)
-       if (isUpdating_)
+       if (d->isUpdating_)
                return;
 
        UpdateLocker locker(*this);
 
        // known macro?
-       if (macro_ == 0)
+       if (d->macro_ == 0)
                return;
 
+       // remember nesting level of this macro
+       d->nesting_ = nesting;
+
        // update requires
-       requires_ = macro_->requires();
+       d->requires_ = d->macro_->requires();
 
-       if (!needsUpdate_
+       if (!d->needsUpdate_
                // non-normal mode? We are done!
-               || (displayMode_ != DISPLAY_NORMAL))
+               || (d->displayMode_ != DISPLAY_NORMAL))
                return;
 
-       needsUpdate_ = false;
+       d->needsUpdate_ = false;
 
        // get default values of macro
-       vector<docstring> const & defaults = macro_->defaults();
+       vector<docstring> const & defaults = d->macro_->defaults();
 
        // create MathMacroArgumentValue objects pointing to the cells of the macro
        vector<MathData> values(nargs());
        for (size_t i = 0; i < nargs(); ++i) {
                ArgumentProxy * proxy;
                if (i < defaults.size())
-                       proxy = new ArgumentProxy(*this, i, defaults[i]);
+                       proxy = new ArgumentProxy(this, i, defaults[i]);
                else
-                       proxy = new ArgumentProxy(*this, i);
+                       proxy = new ArgumentProxy(this, i);
                values[i].insert(0, MathAtom(proxy));
        }
        // expanding macro with the values
@@ -385,13 +609,14 @@ void MathMacro::updateRepresentation(Cursor * cur, MacroContext const & mc,
        // in this case, since MacroData::expand() creates new MathMacro
        // objects, so this would be a different recursion path than the one
        // protected by UpdateLocker.
-       if (macro_->expand(values, expanded_)) {
-               if (utype == OutputUpdate && !expanded_.empty())
-                       expanded_.updateMacros(cur, mc, utype);
+       if (d->macro_->expand(values, d->expanded_)) {
+               if (utype == OutputUpdate && !d->expanded_.empty())
+                       d->expanded_.updateMacros(cur, mc, utype, nesting);
        }
        // get definition for list edit mode
-       docstring const & display = macro_->display();
-       asArray(display.empty() ? macro_->definition() : display, definition_);
+       docstring const & display = d->macro_->display();
+       asArray(display.empty() ? d->macro_->definition() : display,
+               d->definition_, Parse::QUIET);
 }
 
 
@@ -399,21 +624,20 @@ void MathMacro::draw(PainterInfo & pi, int x, int y) const
 {
        Dimension const dim = dimension(*pi.base.bv);
 
-       setPosCache(pi, x, y);
        int expx = x;
        int expy = y;
 
-       if (displayMode_ == DISPLAY_INIT || displayMode_ == DISPLAY_INTERACTIVE_INIT) {
-               FontSetChanger dummy(pi.base, "lyxtex");
+       if (d->displayMode_ == DISPLAY_INIT || d->displayMode_ == DISPLAY_INTERACTIVE_INIT) {
+               Changer dummy = pi.base.changeFontSet("lyxtex");
                pi.pain.text(x, y, from_ascii("\\") + name(), pi.base.font);
-       } else if (displayMode_ == DISPLAY_UNFOLDED) {
-               FontSetChanger dummy(pi.base, "lyxtex");
+       } else if (d->displayMode_ == DISPLAY_UNFOLDED) {
+               Changer dummy = pi.base.changeFontSet("lyxtex");
                pi.pain.text(x, y, from_ascii("\\"), pi.base.font);
                x += mathed_string_width(pi.base.font, from_ascii("\\")) + 1;
                cell(0).draw(pi, x, y);
                drawMarkers(pi, expx, expy);
        } else if (lyxrc.macro_edit_style == LyXRC::MACRO_EDIT_LIST
-                  && editing_[pi.base.bv]) {
+                  && d->editing_[pi.base.bv]) {
                // Macro will be edited in a old-style list mode here:
 
                CoordCache const & coords = pi.base.bv->coordCache();
@@ -432,8 +656,8 @@ void MathMacro::draw(PainterInfo & pi, int x, int y) const
                x += mathed_string_width(labelFont, label);
 
                // draw definition
-               definition_.draw(pi, x, y);
-               Dimension const & defDim = coords.getArrays().dim(&definition_);
+               d->definition_.draw(pi, x, y);
+               Dimension const & defDim = coords.getArrays().dim(&d->definition_);
                y += max(fontDim.des, defDim.des);
 
                // draw parameters
@@ -466,15 +690,18 @@ void MathMacro::draw(PainterInfo & pi, int x, int y) const
                drawMarkers2(pi, expx, expy);
        } else {
                bool drawBox = lyxrc.macro_edit_style == LyXRC::MACRO_EDIT_INLINE_BOX;
+               Changer dummy = (currentMode() == TEXT_MODE)
+                       ? pi.base.font.changeShape(UP_SHAPE)
+                       : Changer();
 
                // warm up cells
                for (size_t i = 0; i < nargs(); ++i)
                        cell(i).setXY(*pi.base.bv, x, y);
 
-               if (drawBox && editing_[pi.base.bv]) {
+               if (drawBox && d->editing_[pi.base.bv]) {
                        // draw header and rectangle around
                        FontInfo font = pi.base.font;
-                       augmentFont(font, from_ascii("lyxtex"));
+                       augmentFont(font, "lyxtex");
                        font.setSize(FONT_SIZE_TINY);
                        font.setColor(Color_mathmacrolabel);
                        Dimension namedim;
@@ -482,26 +709,27 @@ void MathMacro::draw(PainterInfo & pi, int x, int y) const
 
                        pi.pain.fillRectangle(x, y - dim.asc, dim.wid, 1 + namedim.height() + 1, Color_mathmacrobg);
                        pi.pain.text(x + 1, y - dim.asc + namedim.asc + 2, name(), font);
-                       expx += (dim.wid - expanded_.dimension(*pi.base.bv).width()) / 2;
+                       expx += (dim.wid - d->expanded_.dimension(*pi.base.bv).width()) / 2;
                }
 
-               if (editing_[pi.base.bv]) {
+               if (d->editing_[pi.base.bv]) {
                        pi.pain.enterMonochromeMode(Color_mathbg, Color_mathmacroblend);
-                       expanded_.draw(pi, expx, expy);
+                       d->expanded_.draw(pi, expx, expy);
                        pi.pain.leaveMonochromeMode();
 
                        if (drawBox)
                                pi.pain.rectangle(x, y - dim.asc, dim.wid,
                                                  dim.height(), Color_mathmacroframe);
                } else
-                       expanded_.draw(pi, expx, expy);
+                       d->expanded_.draw(pi, expx, expy);
 
                if (!drawBox)
                        drawMarkers(pi, x, y);
+
        }
 
        // edit mode changed?
-       if (editing_[pi.base.bv] != editMode(pi.base.bv))
+       if (d->editing_[pi.base.bv] != editMode(pi.base.bv))
                pi.base.bv->cursor().screenUpdateFlags(Update::SinglePar);
 }
 
@@ -516,31 +744,31 @@ void MathMacro::drawSelection(PainterInfo & pi, int x, int y) const
 
 void MathMacro::setDisplayMode(MathMacro::DisplayMode mode, int appetite)
 {
-       if (displayMode_ != mode) {
+       if (d->displayMode_ != mode) {
                // transfer name if changing from or to DISPLAY_UNFOLDED
                if (mode == DISPLAY_UNFOLDED) {
                        cells_.resize(1);
-                       asArray(name_, cell(0));
-               } else if (displayMode_ == DISPLAY_UNFOLDED) {
-                       name_ = asString(cell(0));
+                       asArray(d->name_, cell(0));
+               } else if (d->displayMode_ == DISPLAY_UNFOLDED) {
+                       d->name_ = asString(cell(0));
                        cells_.resize(0);
                }
 
-               displayMode_ = mode;
-               needsUpdate_ = true;
+               d->displayMode_ = mode;
+               d->needsUpdate_ = true;
        }
 
        // the interactive init mode is non-greedy by default
        if (appetite == -1)
-               appetite_ = (mode == DISPLAY_INTERACTIVE_INIT) ? 0 : 9;
+               d->appetite_ = (mode == DISPLAY_INTERACTIVE_INIT) ? 0 : 9;
        else
-               appetite_ = size_t(appetite);
+               d->appetite_ = size_t(appetite);
 }
 
 
 MathMacro::DisplayMode MathMacro::computeDisplayMode() const
 {
-       if (nextFoldMode_ == true && macro_ && !macro_->locked())
+       if (d->nextFoldMode_ == true && d->macro_ && !d->macro_->locked())
                return DISPLAY_NORMAL;
        else
                return DISPLAY_UNFOLDED;
@@ -572,17 +800,69 @@ bool MathMacro::validName() const
 }
 
 
+size_t MathMacro::arity() const
+{
+       if (d->displayMode_ == DISPLAY_NORMAL )
+               return cells_.size();
+       else
+               return 0;
+}
+
+
+size_t MathMacro::optionals() const
+{
+       return d->optionals_;
+}
+
+
+void MathMacro::setOptionals(int n)
+{
+       if (n <= int(nargs()))
+               d->optionals_ = n;
+}
+
+
+size_t MathMacro::appetite() const
+{
+       return d->appetite_;
+}
+
+
+InsetMath::mode_type MathMacro::currentMode() const
+{
+       // User defined macros are always assumed to be mathmode macros.
+       // Only the global macros defined in lib/symbols may be textmode.
+
+       MacroData const * data = MacroTable::globalMacros().get(name());
+       bool textmode = data && data->symbol() && data->symbol()->extra == "textmode";
+       return textmode ? TEXT_MODE : MATH_MODE;
+}
+
+
 void MathMacro::validate(LaTeXFeatures & features) const
 {
-       if (!requires_.empty())
-               features.require(requires_);
+       // Immediately after a document is loaded, in some cases the MacroData
+       // of the global macros defined in the lib/symbols file may still not
+       // be known to the macro machinery because it will be set only after
+       // the first call to updateMacros(). This is not a problem unless
+       // instant preview is on for math, in which case we will be missing
+       // the corresponding requirements.
+       // In this case, we get the required info from the global macro table.
+       if (!d->requires_.empty())
+               features.require(d->requires_);
+       else if (!d->macro_) {
+               // Update requires for known global macros.
+               MacroData const * data = MacroTable::globalMacros().get(name());
+               if (data && !data->requires().empty())
+                       features.require(data->requires());
+       }
 
        if (name() == "binom")
                features.require("binom");
 
        // validate the cells and the definition
        if (displayMode() == DISPLAY_NORMAL) {
-               definition_.validate(features);
+               d->definition_.validate(features);
                InsetMathNest::validate(features);
        }
 }
@@ -607,65 +887,65 @@ Inset * MathMacro::editXY(Cursor & cur, int x, int y)
 
 
 void MathMacro::removeArgument(Inset::pos_type pos) {
-       if (displayMode_ == DISPLAY_NORMAL) {
+       if (d->displayMode_ == DISPLAY_NORMAL) {
                LASSERT(size_t(pos) < cells_.size(), return);
                cells_.erase(cells_.begin() + pos);
-               if (size_t(pos) < attachedArgsNum_)
-                       --attachedArgsNum_;
-               if (size_t(pos) < optionals_) {
-                       --optionals_;
+               if (size_t(pos) < d->attachedArgsNum_)
+                       --d->attachedArgsNum_;
+               if (size_t(pos) < d->optionals_) {
+                       --d->optionals_;
                }
 
-               needsUpdate_ = true;
+               d->needsUpdate_ = true;
        }
 }
 
 
 void MathMacro::insertArgument(Inset::pos_type pos) {
-       if (displayMode_ == DISPLAY_NORMAL) {
+       if (d->displayMode_ == DISPLAY_NORMAL) {
                LASSERT(size_t(pos) <= cells_.size(), return);
                cells_.insert(cells_.begin() + pos, MathData());
-               if (size_t(pos) < attachedArgsNum_)
-                       ++attachedArgsNum_;
-               if (size_t(pos) < optionals_)
-                       ++optionals_;
+               if (size_t(pos) < d->attachedArgsNum_)
+                       ++d->attachedArgsNum_;
+               if (size_t(pos) < d->optionals_)
+                       ++d->optionals_;
 
-               needsUpdate_ = true;
+               d->needsUpdate_ = true;
        }
 }
 
 
 void MathMacro::detachArguments(vector<MathData> & args, bool strip)
 {
-       LASSERT(displayMode_ == DISPLAY_NORMAL, return);
+       LASSERT(d->displayMode_ == DISPLAY_NORMAL, return);
        args = cells_;
 
        // strip off empty cells, but not more than arity-attachedArgsNum_
        if (strip) {
                size_t i;
-               for (i = cells_.size(); i > attachedArgsNum_; --i)
+               for (i = cells_.size(); i > d->attachedArgsNum_; --i)
                        if (!cell(i - 1).empty()) break;
                args.resize(i);
        }
 
-       attachedArgsNum_ = 0;
-       expanded_ = MathData();
+       d->attachedArgsNum_ = 0;
+       d->expanded_ = MathData();
        cells_.resize(0);
 
-       needsUpdate_ = true;
+       d->needsUpdate_ = true;
 }
 
 
 void MathMacro::attachArguments(vector<MathData> const & args, size_t arity, int optionals)
 {
-       LASSERT(displayMode_ == DISPLAY_NORMAL, return);
+       LASSERT(d->displayMode_ == DISPLAY_NORMAL, return);
        cells_ = args;
-       attachedArgsNum_ = args.size();
+       d->attachedArgsNum_ = args.size();
        cells_.resize(arity);
-       expanded_ = MathData();
-       optionals_ = optionals;
+       d->expanded_ = MathData();
+       d->optionals_ = optionals;
 
-       needsUpdate_ = true;
+       d->needsUpdate_ = true;
 }
 
 
@@ -685,9 +965,9 @@ bool MathMacro::idxLast(Cursor & cur) const
 
 bool MathMacro::notifyCursorLeaves(Cursor const & old, Cursor & cur)
 {
-       if (displayMode_ == DISPLAY_UNFOLDED) {
+       if (d->displayMode_ == DISPLAY_UNFOLDED) {
                docstring const & unfolded_name = name();
-               if (unfolded_name != name_) {
+               if (unfolded_name != d->name_) {
                        // The macro name was changed
                        Cursor inset_cursor = old;
                        int macroSlice = inset_cursor.find(this);
@@ -712,8 +992,8 @@ bool MathMacro::notifyCursorLeaves(Cursor const & old, Cursor & cur)
 
 void MathMacro::fold(Cursor & cur)
 {
-       if (!nextFoldMode_) {
-               nextFoldMode_ = true;
+       if (!d->nextFoldMode_) {
+               d->nextFoldMode_ = true;
                cur.screenUpdateFlags(Update::SinglePar);
        }
 }
@@ -721,8 +1001,8 @@ void MathMacro::fold(Cursor & cur)
 
 void MathMacro::unfold(Cursor & cur)
 {
-       if (nextFoldMode_) {
-               nextFoldMode_ = false;
+       if (d->nextFoldMode_) {
+               d->nextFoldMode_ = false;
                cur.screenUpdateFlags(Update::SinglePar);
        }
 }
@@ -730,16 +1010,22 @@ void MathMacro::unfold(Cursor & cur)
 
 bool MathMacro::folded() const
 {
-       return nextFoldMode_;
+       return d->nextFoldMode_;
 }
 
 
 void MathMacro::write(WriteStream & os) const
 {
-       MathEnsurer ensurer(os, macro_ != 0, true);
+       MacroData const * data = MacroTable::globalMacros().get(name());
+       bool textmode_macro = data && data->symbol()
+                                  && data->symbol()->extra == "textmode";
+       bool needs_mathmode = data && (!data->symbol()
+                                      || data->symbol()->extra != "textmode");
+
+       MathEnsurer ensurer(os, needs_mathmode, true, textmode_macro);
 
        // non-normal mode
-       if (displayMode_ != DISPLAY_NORMAL) {
+       if (d->displayMode_ != DISPLAY_NORMAL) {
                os << "\\" << name();
                if (name().size() != 1 || isAlphaASCII(name()[0]))
                        os.pendingSpace(true);
@@ -748,7 +1034,16 @@ void MathMacro::write(WriteStream & os) const
 
        // normal mode
        // we should be ok to continue even if this fails.
-       LATTEST(macro_);
+       LATTEST(d->macro_);
+
+       // We may already be in the argument of a macro
+       bool const inside_macro = os.insideMacro();
+       os.insideMacro(true);
+
+       // Enclose in braces to avoid latex errors with xargs if we have
+       // optional arguments and are in the optional argument of a macro
+       if (d->optionals_ && inside_macro)
+               os << '{';
 
        // Always protect macros in a fragile environment
        if (os.fragile())
@@ -761,7 +1056,7 @@ void MathMacro::write(WriteStream & os) const
        // First find last non-empty optional argument
        idx_type emptyOptFrom = 0;
        idx_type i = 0;
-       for (; i < cells_.size() && i < optionals_; ++i) {
+       for (; i < cells_.size() && i < d->optionals_; ++i) {
                if (!cell(i).empty())
                        emptyOptFrom = i + 1;
        }
@@ -773,7 +1068,7 @@ void MathMacro::write(WriteStream & os) const
        }
 
        // skip the tailing empty optionals
-       i = optionals_;
+       i = d->optionals_;
 
        // Print remaining arguments
        for (; i < cells_.size(); ++i) {
@@ -788,73 +1083,77 @@ void MathMacro::write(WriteStream & os) const
                first = false;
        }
 
-       // add space if there was no argument
-       if (first)
+       // Close the opened brace or add space if there was no argument
+       if (d->optionals_ && inside_macro)
+               os << '}';
+       else if (first)
                os.pendingSpace(true);
+
+       os.insideMacro(inside_macro);
 }
 
 
 void MathMacro::maple(MapleStream & os) const
 {
-       lyx::maple(expanded_, os);
+       lyx::maple(d->expanded_, os);
 }
 
 
 void MathMacro::maxima(MaximaStream & os) const
 {
-       lyx::maxima(expanded_, os);
+       lyx::maxima(d->expanded_, os);
 }
 
 
 void MathMacro::mathematica(MathematicaStream & os) const
 {
-       lyx::mathematica(expanded_, os);
+       lyx::mathematica(d->expanded_, os);
 }
 
 
 void MathMacro::mathmlize(MathStream & os) const
 {
        // macro_ is 0 if this is an unknown macro
-       LATTEST(macro_ || displayMode_ != DISPLAY_NORMAL);
-       if (macro_) {
-               docstring const xmlname = macro_->xmlname();
+       LATTEST(d->macro_ || d->displayMode_ != DISPLAY_NORMAL);
+       if (d->macro_) {
+               docstring const xmlname = d->macro_->xmlname();
                if (!xmlname.empty()) {
-                       char const * type = macro_->MathMLtype();
-                       os << '<' << type << "> " << xmlname << " /<"
+                       char const * type = d->macro_->MathMLtype();
+                       os << '<' << type << "> " << xmlname << " </"
                           << type << '>';
                        return;
                }
        }
-       if (expanded_.empty()) {
+       if (d->expanded_.empty()) {
                // this means that we do not recognize the macro
                throw MathExportException();
        }
-       os << expanded_;
+       os << d->expanded_;
 }
 
 
 void MathMacro::htmlize(HtmlStream & os) const
 {
        // macro_ is 0 if this is an unknown macro
-       LATTEST(macro_ || displayMode_ != DISPLAY_NORMAL);
-       if (macro_) {
-               docstring const xmlname = macro_->xmlname();
+       LATTEST(d->macro_ || d->displayMode_ != DISPLAY_NORMAL);
+       if (d->macro_) {
+               docstring const xmlname = d->macro_->xmlname();
                if (!xmlname.empty()) {
                        os << ' ' << xmlname << ' ';
                        return;
                }
        }
-       if (expanded_.empty()) {
+       if (d->expanded_.empty()) {
                // this means that we do not recognize the macro
                throw MathExportException();
        }
-       os << expanded_;
+       os << d->expanded_;
 }
 
 
 void MathMacro::octave(OctaveStream & os) const
 {
-       lyx::octave(expanded_, os);
+       lyx::octave(d->expanded_, os);
 }