]> git.lyx.org Git - features.git/blobdiff - src/mathed/InsetMathMacro.cpp
Avoid spurious requirements
[features.git] / src / mathed / InsetMathMacro.cpp
index b5b0322a540c2d9f08238c4a21bbc74d156b5373..5743dd0e452b2a12311d51b8a512a9d285f4f1f5 100644 (file)
@@ -64,6 +64,12 @@ public:
                        asArray(def, def_);
        }
        ///
+       void setBuffer(Buffer & buffer)
+       {
+               Inset::setBuffer(buffer);
+               def_.setBuffer(buffer);
+       }
+       ///
        void setOwner(InsetMathMacro * mathMacro) { mathMacro_ = mathMacro; }
        ///
        InsetMathMacro const * owner() { return mathMacro_; }
@@ -136,7 +142,7 @@ public:
        void afterDraw(PainterInfo const & pi) const
        {
                if (mathMacro_->editMetrics(pi.base.bv))
-                       pi.pain.enterMonochromeMode(Color_mathbg, Color_mathmacroblend);
+                       pi.pain.enterMonochromeMode(Color_mathmacroblend);
        }
        ///
        void metrics(MetricsInfo &, Dimension &) const {
@@ -200,7 +206,7 @@ public:
                  expanded_(buf), definition_(buf), attachedArgsNum_(0),
                  optionals_(0), nextFoldMode_(true), macroBackup_(buf),
                  macro_(0), needsUpdate_(false), isUpdating_(false),
-                 appetite_(9), nesting_(0)
+                 appetite_(9), nesting_(0), limits_(AUTO_LIMITS)
        {
        }
        /// Update the pointers to our owner of all expanded macros.
@@ -233,7 +239,7 @@ public:
        ///
        mutable std::map<BufferView const *, bool> editing_;
        ///
-       std::string requires_;
+       std::string required_;
        /// update macro representation
        bool needsUpdate_;
        ///
@@ -242,6 +248,8 @@ public:
        size_t appetite_;
        /// Level of nesting in macros (including this one)
        int nesting_;
+       ///
+       Limits limits_;
 };
 
 
@@ -365,6 +373,51 @@ bool InsetMathMacro::addToMathRow(MathRow & mrow, MetricsInfo & mi) const
        return has_contents;
 }
 
+
+/// Whether the inset allows \(no)limits
+bool InsetMathMacro::allowsLimitsChange() const
+{
+       // similar to the code in mathClass(), except that we search for
+       // the right-side class.
+       MathClass mc = MC_UNKNOWN;
+       if (MacroData const * m = macroBackup()) {
+               // If it is a global macro and is defined explicitly
+               if (m->symbol())
+                       mc = string_to_class(m->symbol()->extra);
+       }
+       // Otherwise guess from the expanded macro
+       if (mc == MC_UNKNOWN)
+               mc = d->expanded_.lastMathClass();
+
+       return mc == MC_OP;
+}
+
+
+Limits InsetMathMacro::defaultLimits() const
+{
+       if (d->expanded_.empty())
+               return NO_LIMITS;
+       // Guess from the expanded macro
+       InsetMath const * in = d->expanded_.back().nucleus();
+       Limits const lim = in->limits() == AUTO_LIMITS
+               ? in->defaultLimits() : in->limits();
+       LATTEST(lim != AUTO_LIMITS);
+       return lim;
+}
+
+
+Limits InsetMathMacro::limits() const
+{
+       return d->limits_;
+}
+
+
+void InsetMathMacro::limits(Limits lim)
+{
+       d->limits_ = lim;
+}
+
+
 void InsetMathMacro::beforeMetrics() const
 {
        d->macro_->lock();
@@ -380,7 +433,7 @@ void InsetMathMacro::afterMetrics() const
 void InsetMathMacro::beforeDraw(PainterInfo const & pi) const
 {
        if (d->editing_[pi.base.bv])
-               pi.pain.enterMonochromeMode(Color_mathbg, Color_mathmacroblend);
+               pi.pain.enterMonochromeMode(Color_mathmacroblend);
 }
 
 
@@ -638,7 +691,7 @@ void InsetMathMacro::updateRepresentation(Cursor * cur, MacroContext const & mc,
        d->nesting_ = nesting;
 
        // update requires
-       d->requires_ = d->macro_->requires();
+       d->required_ = d->macro_->required();
 
        if (!d->needsUpdate_
                // non-normal mode? We are done!
@@ -669,8 +722,9 @@ void InsetMathMacro::updateRepresentation(Cursor * cur, MacroContext const & mc,
        // than the one protected by UpdateLocker.
        docstring const & display = d->macro_->display();
        docstring const latexname = from_ascii("\\") + macroName();
-       if (d->macro_->expand(values, d->expanded_)
-           && !support::contains(display, latexname)) {
+       bool const ret = d->macro_->expand(values, d->expanded_);
+       d->expanded_.setBuffer(buffer());
+       if (ret && !support::contains(display, latexname)) {
                if (utype == OutputUpdate && !d->expanded_.empty())
                        d->expanded_.updateMacros(cur, mc, utype, nesting);
        }
@@ -737,7 +791,7 @@ void InsetMathMacro::draw(PainterInfo & pi, int x, int y) const
                        pi.pain.text(x, y, from_ascii(":"), labelFont);
                        x += strw2;
 
-                       // draw paramter
+                       // draw parameter
                        cell(i).draw(pi, x, y);
 
                        // next line
@@ -899,13 +953,13 @@ void InsetMathMacro::validate(LaTeXFeatures & features) const
        // 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_);
+       if (!d->required_.empty())
+               features.require(d->required_);
        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 (data && !data->required().empty())
+                       features.require(data->required());
        }
 
        if (name() == "binom")
@@ -913,7 +967,16 @@ void InsetMathMacro::validate(LaTeXFeatures & features) const
 
        // validate the cells and the definition
        if (displayMode() == DISPLAY_NORMAL) {
-               d->definition_.validate(features);
+               // Don't update requirements if the macro comes from
+               // the symbols file and has not been redefined.
+               MathWordList const & words = mathedWordList();
+               MathWordList::const_iterator it = words.find(name());
+               MacroNameSet macros;
+               buffer().listMacroNames(macros);
+               if (it == words.end() || it->second.inset != "macro"
+                   || macros.find(name()) != macros.end()) {
+                       d->definition_.validate(features);
+               }
                InsetMathNest::validate(features);
        }
 }
@@ -1148,6 +1211,9 @@ void InsetMathMacro::write(WriteStream & os) const
        // add space if there was no argument
        if (first)
                os.pendingSpace(true);
+
+       // write \(no)limits modifiers if relevant
+       writeLimits(os);
 }
 
 
@@ -1169,16 +1235,17 @@ void InsetMathMacro::mathematica(MathematicaStream & os) const
 }
 
 
-void InsetMathMacro::mathmlize(MathStream & os) const
+void InsetMathMacro::mathmlize(MathStream & ms) const
 {
        // macro_ is 0 if this is an unknown macro
        LATTEST(d->macro_ || d->displayMode_ != DISPLAY_NORMAL);
        if (d->macro_) {
-               docstring const xmlname = d->macro_->xmlname();
+               docstring const xmlname = (ms.xmlMode()) ? d->macro_->xmlname() : d->macro_->htmlname();
                if (!xmlname.empty()) {
                        char const * type = d->macro_->MathMLtype();
-                       os << '<' << type << "> " << xmlname << " </"
-                          << type << '>';
+                       ms << "<" << from_ascii(ms.namespacedTag(type)) << ">"
+                          << xmlname
+                          << "</" << from_ascii(ms.namespacedTag(type)) << ">";
                        return;
                }
        }
@@ -1186,7 +1253,7 @@ void InsetMathMacro::mathmlize(MathStream & os) const
                // this means that we do not recognize the macro
                throw MathExportException();
        }
-       os << d->expanded_;
+       ms << d->expanded_;
 }
 
 
@@ -1195,7 +1262,7 @@ void InsetMathMacro::htmlize(HtmlStream & os) const
        // macro_ is 0 if this is an unknown macro
        LATTEST(d->macro_ || d->displayMode_ != DISPLAY_NORMAL);
        if (d->macro_) {
-               docstring const xmlname = d->macro_->xmlname();
+               docstring const xmlname = d->macro_->htmlname();
                if (!xmlname.empty()) {
                        os << ' ' << xmlname << ' ';
                        return;