]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/MathData.cpp
* zh_TW.po: Update from Mingyi Wu
[lyx.git] / src / mathed / MathData.cpp
index e579ece41ea812c856266a3eeb4d382c8a4e5546..edd808945721cd071b2209ddd29d2ef264a8d78d 100644 (file)
@@ -3,7 +3,7 @@
  * This file is part of LyX, the document processor.
  * Licence details can be found in the file COPYING.
  *
- * \author André Pönitz
+ * \author André Pönitz
  * \author Stefan Schimanski
  *
  * Full author contact details are available in file CREDITS.
 #include "BufferView.h"
 #include "CoordCache.h"
 #include "Cursor.h"
-#include "support/debug.h"
 
+#include "mathed/InsetMathUnknown.h"
+
+#include "support/debug.h"
 #include "support/docstream.h"
 
 #include "frontends/FontMetrics.h"
 #include "frontends/Painter.h"
 
-#include <boost/assert.hpp>
+#include "support/gettext.h"
+#include "support/lassert.h"
 #include <boost/next_prior.hpp>
 
+#include <cstdlib>
+
 using namespace std;
 
 namespace lyx {
 
 
-MathData::MathData(const_iterator from, const_iterator to)
-       : base_type(from, to)
+MathData::MathData(Buffer * buf, const_iterator from, const_iterator to)
+       : base_type(from, to), buffer_(buf)
 {}
 
 
 MathAtom & MathData::operator[](pos_type pos)
 {
-       BOOST_ASSERT(pos < size());
+       LBUFERR(pos < size());
        return base_type::operator[](pos);
 }
 
 
 MathAtom const & MathData::operator[](pos_type pos) const
 {
-       BOOST_ASSERT(pos < size());
+       LBUFERR(pos < size());
        return base_type::operator[](pos);
 }
 
@@ -69,7 +74,7 @@ void MathData::insert(size_type pos, MathAtom const & t)
 
 void MathData::insert(size_type pos, MathData const & ar)
 {
-       BOOST_ASSERT(pos <= size());
+       LBUFERR(pos <= size());
        base_type::insert(begin() + pos, ar.begin(), ar.end());
 }
 
@@ -211,6 +216,7 @@ void MathData::touch() const
 }
 
 
+#if 0
 namespace {
 
 bool isInside(DocIterator const & it, MathData const & ar,
@@ -225,7 +231,7 @@ bool isInside(DocIterator const & it, MathData const & ar,
 }
 
 }
-
+#endif
 
 
 void MathData::metrics(MetricsInfo & mi, Dimension & dim) const
@@ -248,19 +254,37 @@ void MathData::metrics(MetricsInfo & mi, Dimension & dim) const
        }
 
        Cursor & cur = mi.base.bv->cursor();
-       const_cast<MathData*>(this)->updateMacros(&cur, mi.macrocontext);
+       const_cast<MathData*>(this)->updateMacros(&cur, mi.macrocontext, InternalUpdate);
+
+       DocIterator const & inlineCompletionPos = mi.base.bv->inlineCompletionPos();
+       MathData const * inlineCompletionData = 0;
+       if (inlineCompletionPos.inMathed())
+               inlineCompletionData = &inlineCompletionPos.cell();
 
        dim.asc = 0;
        dim.wid = 0;
        Dimension d;
-       atom_dims_.clear();
-       for (size_t i = 0, n = size(); i != n; ++i) {
+       CoordCacheBase<Inset> & coords = mi.base.bv->coordCache().insets();
+       for (pos_type i = 0, n = size(); i != n; ++i) {
                MathAtom const & at = operator[](i);
                at->metrics(mi, d);
-               atom_dims_.push_back(d);
+               coords.add(at.nucleus(), d);
                dim += d;
                if (i == n - 1)
                        kerning_ = at->kerning(mi.base.bv);
+               
+               // HACK to draw completion suggestion inline
+               if (inlineCompletionData != this
+                   || size_t(inlineCompletionPos.pos()) != i + 1)
+                       continue;
+               
+               docstring const & completion = mi.base.bv->inlineCompletion();
+               if (completion.length() == 0)
+                       continue;
+               
+               FontInfo font = mi.base.font;
+               augmentFont(font, from_ascii("mathnormal"));
+               dim.wid += mathed_string_width(font, completion);
        }
        // Cache the dimension.
        mi.base.bv->coordCache().arrays().add(this, dim);
@@ -287,12 +311,47 @@ void MathData::draw(PainterInfo & pi, int x, int y) const
                || x >= bv. workWidth())
                return;
 
+       DocIterator const & inlineCompletionPos = bv.inlineCompletionPos();
+       MathData const * inlineCompletionData = 0;
+       if (inlineCompletionPos.inMathed())
+               inlineCompletionData = &inlineCompletionPos.cell();
+
+       CoordCacheBase<Inset> & coords = pi.base.bv->coordCache().insets();
        for (size_t i = 0, n = size(); i != n; ++i) {
                MathAtom const & at = operator[](i);
-               bv.coordCache().insets().add(at.nucleus(), x, y);
+               coords.add(at.nucleus(), x, y);
                at->drawSelection(pi, x, y);
                at->draw(pi, x, y);
-               x += atom_dims_[i].wid;
+               x += coords.dim(at.nucleus()).wid;
+               
+               // Is the inline completion here?
+               if (inlineCompletionData != this
+                   || size_t(inlineCompletionPos.pos()) != i + 1)
+                       continue;
+               docstring const & completion = bv.inlineCompletion();
+               if (completion.length() == 0)
+                       continue;
+               FontInfo f = pi.base.font;
+               augmentFont(f, from_ascii("mathnormal"));
+               
+               // draw the unique and the non-unique completion part
+               // Note: this is not time-critical as it is
+               // only done once per screen.
+               size_t uniqueTo = bv.inlineCompletionUniqueChars();
+               docstring s1 = completion.substr(0, uniqueTo);
+               docstring s2 = completion.substr(uniqueTo);
+               
+               if (!s1.empty()) {
+                       f.setColor(Color_inlinecompletion);
+                       pi.pain.text(x, y, s1, f);
+                       x += mathed_string_width(f, s1);
+               }
+               
+               if (!s2.empty()) {
+                       f.setColor(Color_nonunique_inlinecompletion);
+                       pi.pain.text(x, y, s2, f);
+                       x += mathed_string_width(f, s2);
+               }
        }
 }
 
@@ -323,14 +382,36 @@ void MathData::drawT(TextPainter & pain, int x, int y) const
 }
 
 
-void MathData::updateMacros(Cursor * cur, MacroContext const & mc)
+void MathData::updateBuffer(ParIterator const & it, UpdateType utype)
+{
+       // pass down
+       for (size_t i = 0, n = size(); i != n; ++i) {
+               MathAtom & at = operator[](i);
+               at.nucleus()->updateBuffer(it, utype);
+       }
+}
+
+
+void MathData::updateMacros(Cursor * cur, MacroContext const & mc,
+               UpdateType utype)
 {
+       // If we are editing a macro, we cannot update it immediately,
+       // otherwise wrong undo steps will be recorded (bug 6208).
+       InsetMath const * inmath = cur ? cur->inset().asInsetMath() : 0;
+       MathMacro const * inmacro = inmath ? inmath->asMacro() : 0;
+       docstring const edited_name = inmacro ? inmacro->name() : docstring();
+
        // go over the array and look for macros
        for (size_t i = 0; i < size(); ++i) {
                MathMacro * macroInset = operator[](i).nucleus()->asMacro();
-               if (!macroInset)
+               if (!macroInset || macroInset->name_.empty()
+                               || macroInset->name_[0] == '^'
+                               || macroInset->name_[0] == '_'
+                               || (macroInset->name() == edited_name
+                                   && macroInset->displayMode() ==
+                                               MathMacro::DISPLAY_UNFOLDED))
                        continue;
-               
+
                // get macro
                macroInset->updateMacro(mc);
                size_t macroNumArgs = 0;
@@ -348,11 +429,14 @@ void MathData::updateMacros(Cursor * cur, MacroContext const & mc)
 
                // arity changed or other reason to detach?
                if (oldDisplayMode == MathMacro::DISPLAY_NORMAL
-                               && (macroInset->arity() != macroNumArgs
-                                               || macroInset->optionals() != macroOptionals
-                                               || newDisplayMode == MathMacro::DISPLAY_UNFOLDED)) {
+                   && (macroInset->arity() != macroNumArgs
+                       || macroInset->optionals() != macroOptionals
+                       || newDisplayMode == MathMacro::DISPLAY_UNFOLDED)) {
 
                        detachMacroParameters(cur, i);
+                       // FIXME: proper anchor handling, this removes the selection
+                       if (cur)
+                               cur->clearSelection();
                }
 
                // the macro could have been copied while resizing this
@@ -360,7 +444,7 @@ void MathData::updateMacros(Cursor * cur, MacroContext const & mc)
 
                // Cursor in \label?
                if (newDisplayMode != MathMacro::DISPLAY_UNFOLDED 
-                               && oldDisplayMode == MathMacro::DISPLAY_UNFOLDED) {
+                   && oldDisplayMode == MathMacro::DISPLAY_UNFOLDED) {
                        // put cursor in front of macro
                        if (cur) {
                                int macroSlice = cur->find(macroInset);
@@ -370,17 +454,18 @@ void MathData::updateMacros(Cursor * cur, MacroContext const & mc)
                }
 
                // update the display mode
+               size_t appetite = macroInset->appetite();
                macroInset->setDisplayMode(newDisplayMode);
 
                // arity changed?
                if (newDisplayMode == MathMacro::DISPLAY_NORMAL 
-                               && (macroInset->arity() != macroNumArgs
-                                               || macroInset->optionals() != macroOptionals)) {
+                   && (macroInset->arity() != macroNumArgs
+                       || macroInset->optionals() != macroOptionals)) {
                        // is it a virgin macro which was never attached to parameters?
                        bool fromInitToNormalMode
                        = (oldDisplayMode == MathMacro::DISPLAY_INIT 
-                                || oldDisplayMode == MathMacro::DISPLAY_INTERACTIVE_INIT)
-                               && newDisplayMode == MathMacro::DISPLAY_NORMAL;
+                          || oldDisplayMode == MathMacro::DISPLAY_INTERACTIVE_INIT)
+                         && newDisplayMode == MathMacro::DISPLAY_NORMAL;
                        
                        // if the macro was entered interactively (i.e. not by paste or during
                        // loading), it should not be greedy, but the cursor should
@@ -389,7 +474,7 @@ void MathData::updateMacros(Cursor * cur, MacroContext const & mc)
                        
                        // attach parameters
                        attachMacroParameters(cur, i, macroNumArgs, macroOptionals,
-                               fromInitToNormalMode, interactive);
+                               fromInitToNormalMode, interactive, appetite);
                        
                        if (cur) {
                                // FIXME: proper anchor handling, this removes the selection
@@ -404,13 +489,13 @@ void MathData::updateMacros(Cursor * cur, MacroContext const & mc)
                InsetMath * inset = operator[](i).nucleus();
                if (inset->asScriptInset())
                        inset = inset->asScriptInset()->nuc()[0].nucleus();
-               BOOST_ASSERT(inset->asMacro());
-               inset->asMacro()->updateRepresentation(cur);
+               LASSERT(inset->asMacro(), continue);
+               inset->asMacro()->updateRepresentation(cur, mc, utype);
        }
 }
 
 
-void MathData::detachMacroParameters(Cursor * cur, const size_type macroPos)
+void MathData::detachMacroParameters(DocIterator * cur, const size_type macroPos)
 {
        MathMacro * macroInset = operator[](macroPos).nucleus()->asMacro();
        
@@ -467,7 +552,7 @@ void MathData::detachMacroParameters(Cursor * cur, const size_type macroPos)
                for (size_t q = 0; q < arg.size(); ++q) {
                        if (arg[q]->getChar() == ']') {
                                // put brace
-                               brace = new InsetMathBrace();
+                               brace = new InsetMathBrace(buffer_);
                                break;
                        }
                }
@@ -528,18 +613,15 @@ void MathData::detachMacroParameters(Cursor * cur, const size_type macroPos)
                        ++(*cur)[curMacroSlice - 1].pos();
        }
        
-       if (cur) {
-               // FIXME: proper anchor handling, this removes the selection
-               cur->clearSelection();
+       if (cur)
                cur->updateInsets(&cur->bottom().inset());
-       }
 }
 
 
 void MathData::attachMacroParameters(Cursor * cur, 
        const size_type macroPos, const size_type macroNumArgs,
        const int macroOptionals, const bool fromInitToNormalMode,
-       const bool interactiveInit)
+       const bool interactiveInit, const size_t appetite)
 {
        MathMacro * macroInset = operator[](macroPos).nucleus()->asMacro();
 
@@ -548,7 +630,7 @@ void MathData::attachMacroParameters(Cursor * cur,
        size_t p = macroPos + 1;
        vector<MathData> detachedArgs;
        MathAtom scriptToPutAround;
-       
+
        // find cursor slice again of this MathData
        int thisSlice = -1;
        if (cur)
@@ -556,35 +638,42 @@ void MathData::attachMacroParameters(Cursor * cur,
        int thisPos = -1;
        if (thisSlice != -1)
                thisPos = (*cur)[thisSlice].pos();
-       
+
        // find arguments behind the macro
        if (!interactiveInit) {
                collectOptionalParameters(cur, macroOptionals, detachedArgs, p,
-                       macroPos, thisPos, thisSlice);
-               collectParameters(cur, macroNumArgs, detachedArgs, p,
                        scriptToPutAround, macroPos, thisPos, thisSlice);
        }
-               
+       collectParameters(cur, macroNumArgs, detachedArgs, p,
+               scriptToPutAround, macroPos, thisPos, thisSlice, appetite);
+
        // attach arguments back to macro inset
        macroInset->attachArguments(detachedArgs, macroNumArgs, macroOptionals);
-       
+
        // found tail script? E.g. \foo{a}b^x
        if (scriptToPutAround.nucleus()) {
+               InsetMathScript * scriptInset =
+                       scriptToPutAround.nucleus()->asScriptInset();
+               // In the math parser we remove empty braces in the base
+               // of a script inset, but we have to restore them here.
+               if (scriptInset->nuc().empty()) {
+                       MathData ar;
+                       scriptInset->nuc().push_back(
+                                       MathAtom(new InsetMathBrace(ar)));
+               }
                // put macro into a script inset
-               scriptToPutAround.nucleus()->asScriptInset()->nuc()[0] 
-               = operator[](macroPos);
+               scriptInset->nuc()[0] = operator[](macroPos);
                operator[](macroPos) = scriptToPutAround;
 
                // go into the script inset nucleus
                if (cur && thisPos == int(macroPos))
                        cur->append(0, 0);
-               
+
                // get pointer to "deep" copied macro inset
-               InsetMathScript * scriptInset 
-               = operator[](macroPos).nucleus()->asScriptInset();
+               scriptInset = operator[](macroPos).nucleus()->asScriptInset();
                macroInset = scriptInset->nuc()[0].nucleus()->asMacro();        
        }
-       
+
        // remove them from the MathData
        erase(begin() + macroPos + 1, begin() + p);
 
@@ -595,7 +684,7 @@ void MathData::attachMacroParameters(Cursor * cur,
        // fix cursor if right of p
        if (thisPos >= int(p))
                (*cur)[thisSlice].pos() -= p - (macroPos + 1);
-       
+
        // was the macro inset just inserted interactively and was now folded
        // and the cursor is just behind?
        if ((*cur)[thisSlice].pos() == int(macroPos + 1)
@@ -613,10 +702,14 @@ void MathData::attachMacroParameters(Cursor * cur,
 
 void MathData::collectOptionalParameters(Cursor * cur, 
        const size_type numOptionalParams, vector<MathData> & params, 
-       size_t & pos, const pos_type macroPos, const int thisPos, const int thisSlice)
+       size_t & pos, MathAtom & scriptToPutAround,
+       const pos_type macroPos, const int thisPos, const int thisSlice)
 {
+       Buffer * buf = cur ? cur->buffer() : 0;
        // insert optional arguments?
-       while (params.size() < numOptionalParams && pos < size()) {
+       while (params.size() < numOptionalParams 
+              && pos < size()
+              && !scriptToPutAround.nucleus()) {
                // is a [] block following which could be an optional parameter?
                if (operator[](pos)->getChar() != '[')
                        break;
@@ -624,9 +717,23 @@ void MathData::collectOptionalParameters(Cursor * cur,
                // found possible optional argument, look for "]"
                size_t right = pos + 1;
                for (; right < size(); ++right) {
-                       if (operator[](right)->getChar() == ']')
+                       MathAtom & cell = operator[](right);
+
+                       if (cell->getChar() == ']')
                                // found right end
                                break;
+                       
+                       // maybe "]" with a script around?
+                       InsetMathScript * script = cell.nucleus()->asScriptInset();
+                       if (!script)
+                               continue;
+                       if (script->nuc().size() != 1)
+                               continue;
+                       if (script->nuc()[0]->getChar() == ']') {
+                               // script will be put around the macro later
+                               scriptToPutAround = cell;
+                               break;
+                       }
                }
                
                // found?
@@ -636,7 +743,7 @@ void MathData::collectOptionalParameters(Cursor * cur,
                }
                
                // add everything between [ and ] as optional argument
-               MathData optarg(begin() + pos + 1, begin() + right);
+               MathData optarg(buf, begin() + pos + 1, begin() + right);
                
                // a brace?
                bool brace = false;
@@ -672,10 +779,16 @@ void MathData::collectOptionalParameters(Cursor * cur,
 void MathData::collectParameters(Cursor * cur, 
        const size_type numParams, vector<MathData> & params, 
        size_t & pos, MathAtom & scriptToPutAround,
-       const pos_type macroPos, const int thisPos, const int thisSlice) 
+       const pos_type macroPos, const int thisPos, const int thisSlice,
+       const size_t appetite) 
 {
+       size_t startSize = params.size();
+       
        // insert normal arguments
-       for (; params.size() < numParams && pos < size();) {
+       while (params.size() < numParams
+              && params.size() - startSize < appetite
+              && pos < size()
+              && !scriptToPutAround.nucleus()) {
                MathAtom & cell = operator[](pos);
                
                // fix cursor
@@ -733,45 +846,47 @@ void MathData::collectParameters(Cursor * cur,
 }
 
 
-int MathData::pos2x(size_type pos) const
+int MathData::pos2x(BufferView const * bv, size_type pos) const
 {
-       return pos2x(pos, 0);
+       return pos2x(bv, pos, 0);
 }
 
 
-int MathData::pos2x(size_type pos, int glue) const
+int MathData::pos2x(BufferView const * bv, size_type pos, int glue) const
 {
        int x = 0;
        size_type target = min(pos, size());
+       CoordCacheBase<Inset> const & coords = bv->coordCache().getInsets();
        for (size_type i = 0; i < target; ++i) {
                const_iterator it = begin() + i;
                if ((*it)->getChar() == ' ')
                        x += glue;
                //lyxerr << "char: " << (*it)->getChar()
                //      << "width: " << (*it)->width() << endl;
-               x += atom_dims_[i].wid;
+               x += coords.dim((*it).nucleus()).wid;
        }
        return x;
 }
 
 
-MathData::size_type MathData::x2pos(int targetx) const
+MathData::size_type MathData::x2pos(BufferView const * bv, int targetx) const
 {
-       return x2pos(targetx, 0);
+       return x2pos(bv, targetx, 0);
 }
 
 
-MathData::size_type MathData::x2pos(int targetx, int glue) const
+MathData::size_type MathData::x2pos(BufferView const * bv, int targetx, int glue) const
 {
        const_iterator it = begin();
        int lastx = 0;
        int currx = 0;
+       CoordCacheBase<Inset> const & coords = bv->coordCache().getInsets();
        // find first position after targetx
        for (; currx < targetx && it < end(); ++it) {
                lastx = currx;
                if ((*it)->getChar() == ' ')
                        currx += glue;
-               currx += atom_dims_[it - begin()].wid;
+               currx += coords.dim((*it).nucleus()).wid;
        }
 
        /**