]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/MathData.cpp
Make members of FuncRequest private, per the FIXME there. Again, this is
[lyx.git] / src / mathed / MathData.cpp
index a911cc839aec0a2da88fa620828ce2278e240140..fe80eeef5ae5625729a4a2da71d0c0bd7ec3fa69 100644 (file)
@@ -3,7 +3,8 @@
  * 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 <config.h>
 
 #include "MathData.h"
+
+#include "InsetMathBrace.h"
 #include "InsetMathFont.h"
 #include "InsetMathScript.h"
-#include "MathMacro.h"
 #include "MacroTable.h"
+#include "MathMacro.h"
 #include "MathStream.h"
 #include "MathSupport.h"
+#include "MetricsInfo.h"
 #include "ReplaceData.h"
 
-#include "BufferView.h"
 #include "Buffer.h"
+#include "BufferView.h"
+#include "CoordCache.h"
 #include "Cursor.h"
-#include "debug.h"
-#include "Color.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/lassert.h"
+#include <boost/next_prior.hpp>
 
+#include <cstdlib>
 
-namespace lyx {
+using namespace std;
 
-using std::abs;
-using std::endl;
-using std::min;
-using std::ostringstream;
-using std::string;
-using std::vector;
+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());
+       LASSERT(pos < size(), /**/);
        return base_type::operator[](pos);
 }
 
 
 MathAtom const & MathData::operator[](pos_type pos) const
 {
-       BOOST_ASSERT(pos < size());
+       LASSERT(pos < size(), /**/);
        return base_type::operator[](pos);
 }
 
@@ -68,7 +73,7 @@ void MathData::insert(size_type pos, MathAtom const & t)
 
 void MathData::insert(size_type pos, MathData const & ar)
 {
-       BOOST_ASSERT(pos <= size());
+       LASSERT(pos <= size(), /**/);
        base_type::insert(begin() + pos, ar.begin(), ar.end());
 }
 
@@ -160,11 +165,9 @@ void MathData::replace(ReplaceData & rep)
                }
        }
 
-#ifdef WITH_WARNINGS
-#warning temporarily disabled
+       // FIXME: temporarily disabled
        // for (const_iterator it = begin(); it != end(); ++it)
        //      it->nucleus()->replace(rep);
-#endif
 }
 
 
@@ -212,17 +215,6 @@ void MathData::touch() const
 }
 
 
-bool MathData::metrics(MetricsInfo & mi, Dimension & dim) const
-{
-       dim = dim_;
-       metrics(mi);
-       if (dim_ == dim)
-               return false;
-       dim = dim_;
-       return true;
-}
-
-
 namespace {
 
 bool isInside(DocIterator const & it, MathData const & ar,
@@ -240,55 +232,58 @@ bool isInside(DocIterator const & it, MathData const & ar,
 
 
 
-void MathData::metrics(MetricsInfo & mi) const
+void MathData::metrics(MetricsInfo & mi, Dimension & dim) const
 {
        frontend::FontMetrics const & fm = theFontMetrics(mi.base.font);
-       dim_ = fm.dimension('I');
+       dim = fm.dimension('I');
        int xascent = fm.dimension('x').ascent();
-       if (xascent >= dim_.asc)
-               xascent = (2 * dim_.asc) / 3;
+       if (xascent >= dim.asc)
+               xascent = (2 * dim.asc) / 3;
        minasc_ = xascent;
        mindes_ = (3 * xascent) / 4;
        slevel_ = (4 * xascent) / 5;
        sshift_ = xascent / 4;
        kerning_ = 0;
 
-       if (empty())
+       if (empty()) {
+               // Cache the dimension.
+               mi.base.bv->coordCache().arrays().add(this, dim);
                return;
+       }
+
+       Cursor & cur = mi.base.bv->cursor();
+       const_cast<MathData*>(this)->updateMacros(&cur, mi.macrocontext);
+
+       DocIterator const & inlineCompletionPos = mi.base.bv->inlineCompletionPos();
+       MathData const * inlineCompletionData = 0;
+       if (inlineCompletionPos.inMathed())
+               inlineCompletionData = &inlineCompletionPos.cell();
 
-       dim_.asc = 0;
-       dim_.wid = 0;
+       dim.asc = 0;
+       dim.wid = 0;
        Dimension d;
-       //BufferView & bv  = *mi.base.bv;
-       //Buffer const & buf = *bv.buffer();
-       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);
-#if 0
-               MathMacro const * mac = at->asMacro();
-               if (mac && buf.hasMacro(mac->name())) {
-                       MacroData const & tmpl = buf.getMacro(mac->name());
-                       int numargs = tmpl.numargs();
-                       if (i + numargs > n)
-                               numargs = n - i - 1;
-                       lyxerr << "metrics:found macro: " << mac->name()
-                               << " numargs: " << numargs << endl;
-                       if (!isInside(bv.cursor(), *this, i + 1, i + numargs + 1)) {
-                               MathData args(begin() + i + 1, begin() + i + numargs + 1);
-                               MathData exp;
-                               tmpl.expand(args, exp);
-                               mac->setExpansion(exp, args);
-                               mac->metricsExpanded(mi, d);
-                               dim_.wid += mac->widthExpanded();
-                               i += numargs;
-                               continue;
-                       }
-               }
-#endif
                at->metrics(mi, d);
-               dim_ += d;
+               coords.add(at.nucleus(), d);
+               dim += d;
                if (i == n - 1)
-                       kerning_ = at->kerning();
+                       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;
+               
+               dim.wid += mathed_string_width(mi.base.font, completion);
        }
+       // Cache the dimension.
+       mi.base.bv->coordCache().arrays().add(this, dim);
 }
 
 
@@ -298,41 +293,60 @@ void MathData::draw(PainterInfo & pi, int x, int y) const
        BufferView & bv  = *pi.base.bv;
        setXY(bv, x, y);
 
+       Dimension const & dim = bv.coordCache().getArrays().dim(this);
+
        if (empty()) {
-               pi.pain.rectangle(x, y - ascent(), width(), height(), Color::mathline);
+               pi.pain.rectangle(x, y - dim.ascent(), dim.width(), dim.height(), Color_mathline);
                return;
        }
 
        // don't draw outside the workarea
-       if (y + descent() <= 0
-               || y - ascent() >= bv.workHeight()
-               || x + width() <= 0
+       if (y + dim.descent() <= 0
+               || y - dim.ascent() >= bv.workHeight()
+               || x + dim.width() <= 0
                || 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);
-#if 0
-       Buffer const & buf = bv.buffer();
-               // special macro handling
-               MathMacro const * mac = at->asMacro();
-               if (mac && buf.hasMacro(mac->name())) {
-                       MacroData const & tmpl = buf.getMacro(mac->name());
-                       int numargs = tmpl.numargs();
-                       if (i + numargs > n)
-                               numargs = n - i - 1;
-                       if (!isInside(bv.cursor(), *this, i + 1, i + numargs + 1)) {
-                               mac->drawExpanded(pi, x, y);
-                               x += mac->widthExpanded();
-                               i += numargs;
-                               continue;
-                       }
-               }
-#endif
-               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 += at->width();
+               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;
+               
+               // 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.size() > 0) {
+                       f.setColor(Color_inlinecompletion);
+                       pi.pain.text(x, y, s1, f);
+                       x += mathed_string_width(f, s1);
+               }
+               
+               if (s2.size() > 0) {
+                       f.setColor(Color_nonunique_inlinecompletion);
+                       pi.pain.text(x, y, s2, f);
+                       x += mathed_string_width(f, s2);
+               }
        }
 }
 
@@ -363,45 +377,501 @@ void MathData::drawT(TextPainter & pain, int x, int y) const
 }
 
 
-int MathData::pos2x(size_type pos) const
+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)
+{
+       // 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 || macroInset->name_.empty()
+                               || macroInset->name_[0] == '^'
+                               || macroInset->name_[0] == '_'
+                               || macroInset->name() == edited_name)
+                       continue;
+
+               // get macro
+               macroInset->updateMacro(mc);
+               size_t macroNumArgs = 0;
+               size_t macroOptionals = 0;
+               MacroData const * macro = macroInset->macro();
+               if (macro) {
+                       macroNumArgs = macro->numargs();
+                       macroOptionals = macro->optionals();
+               }
+
+               // store old and compute new display mode
+               MathMacro::DisplayMode newDisplayMode;
+               MathMacro::DisplayMode oldDisplayMode = macroInset->displayMode();
+               newDisplayMode = macroInset->computeDisplayMode();
+
+               // arity changed or other reason to detach?
+               if (oldDisplayMode == MathMacro::DISPLAY_NORMAL
+                   && (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
+               macroInset = operator[](i).nucleus()->asMacro();
+
+               // Cursor in \label?
+               if (newDisplayMode != MathMacro::DISPLAY_UNFOLDED 
+                   && oldDisplayMode == MathMacro::DISPLAY_UNFOLDED) {
+                       // put cursor in front of macro
+                       if (cur) {
+                               int macroSlice = cur->find(macroInset);
+                               if (macroSlice != -1)
+                                       cur->cutOff(macroSlice - 1);
+                       }
+               }
+
+               // 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)) {
+                       // 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;
+                       
+                       // if the macro was entered interactively (i.e. not by paste or during
+                       // loading), it should not be greedy, but the cursor should
+                       // automatically jump into the macro when behind
+                       bool interactive = (oldDisplayMode == MathMacro::DISPLAY_INTERACTIVE_INIT);
+                       
+                       // attach parameters
+                       attachMacroParameters(cur, i, macroNumArgs, macroOptionals,
+                               fromInitToNormalMode, interactive, appetite);
+                       
+                       if (cur) {
+                               // FIXME: proper anchor handling, this removes the selection
+                               cur->updateInsets(&cur->bottom().inset());
+                               cur->clearSelection();  
+                       }
+               }
+
+               // Give macro the chance to adapt to new situation.
+               // The macroInset could be invalid now because it was put into a script 
+               // inset and therefore "deep" copied. So get it again from the MathData.
+               InsetMath * inset = operator[](i).nucleus();
+               if (inset->asScriptInset())
+                       inset = inset->asScriptInset()->nuc()[0].nucleus();
+               LASSERT(inset->asMacro(), /**/);
+               inset->asMacro()->updateRepresentation();
+       }
+}
+
+
+void MathData::detachMacroParameters(DocIterator * cur, const size_type macroPos)
+{
+       MathMacro * macroInset = operator[](macroPos).nucleus()->asMacro();
+       
+       // detach all arguments
+       vector<MathData> detachedArgs;
+       if (macroPos + 1 == size())
+               // strip arguments if we are at the MathData end
+               macroInset->detachArguments(detachedArgs, true);
+       else
+               macroInset->detachArguments(detachedArgs, false);
+       
+       // find cursor slice
+       int curMacroSlice = -1;
+       if (cur)
+               curMacroSlice = cur->find(macroInset);
+       idx_type curMacroIdx = -1;
+       pos_type curMacroPos = -1;
+       vector<CursorSlice> argSlices;
+       if (curMacroSlice != -1) {
+               curMacroPos = (*cur)[curMacroSlice].pos();
+               curMacroIdx = (*cur)[curMacroSlice].idx();
+               cur->cutOff(curMacroSlice, argSlices);
+               cur->pop_back();
+       }
+       
+       // only [] after the last non-empty argument can be dropped later 
+       size_t lastNonEmptyOptional = 0;
+       for (size_t l = 0; l < detachedArgs.size() && l < macroInset->optionals(); ++l) {
+               if (!detachedArgs[l].empty())
+                       lastNonEmptyOptional = l;
+       }
+       
+       // optional arguments to be put back?
+       pos_type p = macroPos + 1;
+       size_t j = 0;
+       for (; j < detachedArgs.size() && j < macroInset->optionals(); ++j) {
+               // another non-empty parameter follows?
+               bool canDropEmptyOptional = j >= lastNonEmptyOptional;
+               
+               // then we can drop empty optional parameters
+               if (detachedArgs[j].empty() && canDropEmptyOptional) {
+                       if (curMacroIdx == j)
+                               (*cur)[curMacroSlice - 1].pos() = macroPos + 1;
+                       continue;
+               }
+               
+               // Otherwise we don't drop an empty optional, put it back normally
+               MathData optarg;
+               asArray(from_ascii("[]"), optarg);
+               MathData & arg = detachedArgs[j];
+               
+               // look for "]", i.e. put a brace around?
+               InsetMathBrace * brace = 0;
+               for (size_t q = 0; q < arg.size(); ++q) {
+                       if (arg[q]->getChar() == ']') {
+                               // put brace
+                               brace = new InsetMathBrace(buffer_);
+                               break;
+                       }
+               }
+               
+               // put arg between []
+               if (brace) {
+                       brace->cell(0) = arg;
+                       optarg.insert(1, MathAtom(brace));
+               } else
+                       optarg.insert(1, arg);
+               
+               // insert it into the array
+               insert(p, optarg);
+               p += optarg.size();
+               
+               // cursor in macro?
+               if (curMacroSlice == -1)
+                       continue;
+               
+               // cursor in optional argument of macro?
+               if (curMacroIdx == j) {
+                       if (brace) {
+                               cur->append(0, curMacroPos);
+                               (*cur)[curMacroSlice - 1].pos() = macroPos + 2;
+                       } else
+                               (*cur)[curMacroSlice - 1].pos() = macroPos + 2 + curMacroPos;
+                       cur->append(argSlices);
+               } else if ((*cur)[curMacroSlice - 1].pos() >= int(p))
+                       // cursor right of macro
+                       (*cur)[curMacroSlice - 1].pos() += optarg.size();
+       }
+       
+       // put them back into the MathData
+       for (; j < detachedArgs.size(); ++j, ++p) {
+               MathData const & arg = detachedArgs[j];
+               if (arg.size() == 1 
+                   && !arg[0]->asScriptInset()
+                   && !(arg[0]->asMacro() && arg[0]->asMacro()->arity() > 0))
+                       insert(p, arg[0]);
+               else
+                       insert(p, MathAtom(new InsetMathBrace(arg)));
+               
+               // cursor in macro?
+               if (curMacroSlice == -1)
+                       continue;
+               
+               // cursor in j-th argument of macro?
+               if (curMacroIdx == j) {
+                       if (operator[](p).nucleus()->asBraceInset()) {
+                               (*cur)[curMacroSlice - 1].pos() = p;
+                               cur->append(0, curMacroPos);
+                               cur->append(argSlices);
+                       } else {
+                               (*cur)[curMacroSlice - 1].pos() = p; // + macroPos;
+                               cur->append(argSlices);
+                       }
+               } else if ((*cur)[curMacroSlice - 1].pos() >= int(p))
+                       ++(*cur)[curMacroSlice - 1].pos();
+       }
+       
+       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 size_t appetite)
+{
+       MathMacro * macroInset = operator[](macroPos).nucleus()->asMacro();
+
+       // start at atom behind the macro again, maybe with some new arguments 
+       // from the detach phase above, to add them back into the macro inset
+       size_t p = macroPos + 1;
+       vector<MathData> detachedArgs;
+       MathAtom scriptToPutAround;
+       
+       // find cursor slice again of this MathData
+       int thisSlice = -1;
+       if (cur)
+               thisSlice = cur->find(*this);
+       int thisPos = -1;
+       if (thisSlice != -1)
+               thisPos = (*cur)[thisSlice].pos();
+       
+       // find arguments behind the macro
+       if (!interactiveInit) {
+               collectOptionalParameters(cur, macroOptionals, 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()) {
+               // put macro into a script inset
+               scriptToPutAround.nucleus()->asScriptInset()->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();
+               macroInset = scriptInset->nuc()[0].nucleus()->asMacro();        
+       }
+       
+       // remove them from the MathData
+       erase(begin() + macroPos + 1, begin() + p);
+
+       // cursor outside this MathData?
+       if (thisSlice == -1)
+               return;
+
+       // 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)
+           && interactiveInit
+           && fromInitToNormalMode
+           && macroInset->arity() > 0
+           && thisSlice + 1 == int(cur->depth())) {
+               // then enter it if the cursor was just behind
+               (*cur)[thisSlice].pos() = macroPos;
+               cur->push_back(CursorSlice(*macroInset));
+               macroInset->idxFirst(*cur);
+       }
+}
+
+
+void MathData::collectOptionalParameters(Cursor * cur, 
+       const size_type numOptionalParams, vector<MathData> & params, 
+       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()
+              && !scriptToPutAround.nucleus()) {
+               // is a [] block following which could be an optional parameter?
+               if (operator[](pos)->getChar() != '[')
+                       break;
+               
+               // found possible optional argument, look for "]"
+               size_t right = pos + 1;
+               for (; right < size(); ++right) {
+                       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?
+               if (right >= size()) {
+                       // no ] found, so it's not an optional argument
+                       break;
+               }
+               
+               // add everything between [ and ] as optional argument
+               MathData optarg(buf, begin() + pos + 1, begin() + right);
+               
+               // a brace?
+               bool brace = false;
+               if (optarg.size() == 1 && optarg[0]->asBraceInset()) {
+                       brace = true;
+                       params.push_back(optarg[0]->asBraceInset()->cell(0));
+               } else
+                       params.push_back(optarg);
+               
+               // place cursor in optional argument of macro
+               if (thisSlice != -1
+                   && thisPos >= int(pos) && thisPos <= int(right)) {
+                       int paramPos = max(0, thisPos - int(pos) - 1);
+                       vector<CursorSlice> x;
+                       cur->cutOff(thisSlice, x);
+                       (*cur)[thisSlice].pos() = macroPos;
+                       if (brace) {
+                               paramPos = x[0].pos();
+                               x.erase(x.begin());
+                       }
+                       cur->append(0, paramPos);
+                       cur->append(x);
+               }
+               pos = right + 1;
+       }
+
+       // fill up empty optional parameters
+       while (params.size() < numOptionalParams)
+               params.push_back(MathData());   
+}
+
+
+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 size_t appetite) 
+{
+       size_t startSize = params.size();
+       
+       // insert normal arguments
+       while (params.size() < numParams
+              && params.size() - startSize < appetite
+              && pos < size()
+              && !scriptToPutAround.nucleus()) {
+               MathAtom & cell = operator[](pos);
+               
+               // fix cursor
+               vector<CursorSlice> argSlices;
+               int argPos = 0;
+               if (thisSlice != -1 && thisPos == int(pos))
+                       cur->cutOff(thisSlice, argSlices);              
+               
+               // which kind of parameter is it? In {}? With index x^n?
+               InsetMathBrace const * brace = cell->asBraceInset();
+               if (brace) {
+                       // found brace, convert into argument
+                       params.push_back(brace->cell(0));
+                       
+                       // cursor inside of the brace or just in front of?
+                       if (thisPos == int(pos) && !argSlices.empty()) {
+                               argPos = argSlices[0].pos();
+                               argSlices.erase(argSlices.begin());
+                       }
+               } else if (cell->asScriptInset() && params.size() + 1 == numParams) {
+                       // last inset with scripts without braces
+                       // -> they belong to the macro, not the argument
+                       InsetMathScript * script = cell.nucleus()->asScriptInset();
+                       if (script->nuc().size() == 1 && script->nuc()[0]->asBraceInset())
+                               // nucleus in brace? Unpack!
+                               params.push_back(script->nuc()[0]->asBraceInset()->cell(0));
+                       else
+                               params.push_back(script->nuc());
+                       
+                       // script will be put around below
+                       scriptToPutAround = cell;
+                       
+                       // this should only happen after loading, so make cursor handling simple
+                       if (thisPos >= int(macroPos) && thisPos <= int(macroPos + numParams)) {
+                               argSlices.clear();
+                               if (cur)
+                                       cur->append(0, 0);
+                       }
+               } else {
+                       // the simplest case: plain inset
+                       MathData array;
+                       array.insert(0, cell);
+                       params.push_back(array);
+               }
+               
+               // put cursor in argument again
+               if (thisSlice != - 1 && thisPos == int(pos)) {
+                       cur->append(params.size() - 1, argPos);
+                       cur->append(argSlices);
+                       (*cur)[thisSlice].pos() = macroPos;
+               }
+               
+               ++pos;
+       }       
+}
+
+
+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() << std::endl;
-               x += (*it)->width();
+               //      << "width: " << (*it)->width() << endl;
+               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 += (*it)->width();
+               currx += coords.dim((*it).nucleus()).wid;
        }
 
        /**
@@ -426,30 +896,36 @@ MathData::size_type MathData::x2pos(int targetx, int glue) const
 
 int MathData::dist(BufferView const & bv, int x, int y) const
 {
-       int xx = 0;
-       int yy = 0;
+       return bv.coordCache().getArrays().squareDistance(this, x, y);
+}
+
+
+void MathData::setXY(BufferView & bv, int x, int y) const
+{
+       //lyxerr << "setting position cache for MathData " << this << endl;
+       bv.coordCache().arrays().add(this, x, y);
+}
+
 
-       const int xo_ = xo(bv);
-       const int yo_ = yo(bv);
+Dimension const & MathData::dimension(BufferView const & bv) const
+{
+       return bv.coordCache().getArrays().dim(this);
+}
 
-       if (x < xo_)
-               xx = xo_ - x;
-       else if (x > xo_ + width())
-               xx = x - xo_ - width();
 
-       if (y < yo_ - ascent())
-               yy = yo_ - ascent() - y;
-       else if (y > yo_ + descent())
-               yy = y - yo_ - descent();
+int MathData::xm(BufferView const & bv) const
+{
+       Geometry const & g = bv.coordCache().getArrays().geometry(this);
 
-       return xx + yy;
+       return g.pos.x_ + g.dim.wid / 2;
 }
 
 
-void MathData::setXY(BufferView & bv, int x, int y) const
+int MathData::ym(BufferView const & bv) const
 {
-       //lyxerr << "setting position cache for MathData " << this << std::endl;
-       bv.coordCache().arrays().add(this, x, y);
+       Geometry const & g = bv.coordCache().getArrays().geometry(this);
+
+       return g.pos.y_ + (g.dim.des - g.dim.asc) / 2;
 }
 
 
@@ -465,7 +941,7 @@ int MathData::yo(BufferView const & bv) const
 }
 
 
-std::ostream & operator<<(std::ostream & os, MathData const & ar)
+ostream & operator<<(ostream & os, MathData const & ar)
 {
        odocstringstream oss;
        NormalStream ns(oss);