src/mathed/math_cursor.C

   1 /*
   2  *  File:        math_cursor.C
   3  *  Purpose:     Interaction for mathed
   4  *  Author:      Alejandro Aguilar Sierra <asierra@servidor.unam.mx>
   5  *  Created:     January 1996
   6  *  Description: Math interaction for a WYSIWYG math editor.
   7  *
   8  *  Dependencies: Xlib, XForms
   9  *
  10  *  Copyright: 1996, Alejandro Aguilar Sierra
  11  *
  12  *   Version: 0.8beta, Math & Lyx project.
  13  *
  14  *   You are free to use and modify this code under the terms of
  15  *   the GNU General Public Licence version 2 or later.
  16  */
  17
  18 #include <config.h>
  19 #include <lyxrc.h>
  20
  21 #ifdef __GNUG__
  22 #pragma implementation
  23 #endif
  24
  25 #include "support/lstrings.h"
  26 #include "support/LAssert.h"
  27 #include "debug.h"
  28 #include "LColor.h"
  29 #include "frontends/Painter.h"
  30 #include "math_cursor.h"
  31 #include "formulabase.h"
  32 #include "math_autocorrect.h"
  33 #include "math_arrayinset.h"
  34 #include "math_braceinset.h"
  35 #include "math_boxinset.h"
  36 #include "math_casesinset.h"
  37 #include "math_charinset.h"
  38 #include "math_deliminset.h"
  39 #include "math_extern.h"
  40 #include "math_factory.h"
  41 #include "math_fboxinset.h"
  42 #include "math_hullinset.h"
  43 #include "math_iterator.h"
  44 #include "math_macroarg.h"
  45 #include "math_macrotemplate.h"
  46 #include "math_mathmlstream.h"
  47 #include "math_parser.h"
  48 #include "math_replace.h"
  49 #include "math_scriptinset.h"
  50 #include "math_spaceinset.h"
  51 #include "math_support.h"
  52 #include "math_unknowninset.h"
  53
  54 #include <algorithm>
  55 #include <cctype>
  56
  57 #define FILEDEBUG 0
  58
  59 using std::endl;
  60 using std::min;
  61 using std::max;
  62 using std::swap;
  63 using std::vector;
  64 using std::ostringstream;
  65 using std::isalpha;
  66
  67
  68 // matheds own cut buffer
  69 MathGridInset theCutBuffer = MathGridInset(1, 1);
  70
  71
  72 MathCursor::MathCursor(InsetFormulaBase * formula, bool front)
  73         :       formula_(formula), autocorrect_(false), selection_(false)
  74 {
  75         front ? first() : last();
  76         Anchor_ = Cursor_;
  77 }
  78
  79
  80 MathCursor::~MathCursor()
  81 {
  82   // ensure that 'notifyCursorLeave' is called
  83   while (popLeft())
  84     ;
  85 }
  86
  87
  88 void MathCursor::push(MathAtom & t)
  89 {
  90         Cursor_.push_back(MathCursorPos(t.nucleus()));
  91 }
  92
  93
  94 void MathCursor::pushLeft(MathAtom & t)
  95 {
  96         //cerr << "Entering atom "; t->write(cerr, false); cerr << " left\n";
  97         push(t);
  98         t->idxFirst(idx(), pos());
  99 }
 100
 101
 102 void MathCursor::pushRight(MathAtom & t)
 103 {
 104         //cerr << "Entering atom "; t->write(cerr, false); cerr << " right\n";
 105         posLeft();
 106         push(t);
 107         t->idxLast(idx(), pos());
 108 }
 109
 110
 111 bool MathCursor::popLeft()
 112 {
 113         //cerr << "Leaving atom to the left\n";
 114         if (depth() <= 1) {
 115                 if (depth() == 1)
 116                         par()->notifyCursorLeaves();
 117                 return false;
 118         }
 119         par()->notifyCursorLeaves();
 120         Cursor_.pop_back();
 121         return true;
 122 }
 123
 124
 125 bool MathCursor::popRight()
 126 {
 127         //cerr << "Leaving atom "; par()->write(cerr, false); cerr << " right\n";
 128         if (depth() <= 1) {
 129                 if (depth() == 1)
 130                         par()->notifyCursorLeaves();
 131                 return false;
 132         }
 133         par()->notifyCursorLeaves();
 134         Cursor_.pop_back();
 135         posRight();
 136         return true;
 137 }
 138
 139
 140
 141 #if FILEDEBUG
 142         void MathCursor::dump(char const * what) const
 143         {
 144                 lyxerr << "MC: " << what << "\n";
 145                 lyxerr << " Cursor: " << depth() << "\n";
 146                 for (unsigned i = 0; i < depth(); ++i)
 147                         lyxerr << "    i: " << i << " " << Cursor_[i] << "\n";
 148                 lyxerr << " Anchor: " << Anchor_.size() << "\n";
 149                 for (unsigned i = 0; i < Anchor_.size(); ++i)
 150                         lyxerr << "    i: " << i << " " << Anchor_[i] << "\n";
 151                 lyxerr  << " sel: " << selection_ << "\n";
 152         }
 153 #else
 154         void MathCursor::dump(char const *) const {}
 155 #endif
 156
 157
 158 bool MathCursor::isInside(MathInset const * p) const
 159 {
 160         for (unsigned i = 0; i < depth(); ++i)
 161                 if (Cursor_[i].par_ == p)
 162                         return true;
 163         return false;
 164 }
 165
 166
 167 bool MathCursor::openable(MathAtom const & t, bool sel) const
 168 {
 169         if (!t->isActive())
 170                 return false;
 171
 172         if (t->lock())
 173                 return false;
 174
 175         if (t->asScriptInset())
 176                 return false;
 177
 178         if (sel) {
 179                 // we can't move into anything new during selection
 180                 if (depth() == Anchor_.size())
 181                         return false;
 182                 if (t.nucleus() != Anchor_[depth()].par_)
 183                         return false;
 184         }
 185         return true;
 186 }
 187
 188
 189 bool MathCursor::posLeft()
 190 {
 191         if (pos() == 0)
 192                 return false;
 193         --pos();
 194         return true;
 195 }
 196
 197
 198 bool MathCursor::posRight()
 199 {
 200         if (pos() == size())
 201                 return false;
 202         ++pos();
 203         return true;
 204 }
 205
 206
 207 bool MathCursor::left(bool sel)
 208 {
 209         dump("Left 1");
 210         autocorrect_ = false;
 211         targetx_ = -1; // "no target"
 212         if (inMacroMode()) {
 213                 macroModeClose();
 214                 return true;
 215         }
 216         selHandle(sel);
 217
 218         if (hasPrevAtom() && openable(prevAtom(), sel)) {
 219                 pushRight(prevAtom());
 220                 return true;
 221         }
 222
 223         return posLeft() || idxLeft() || popLeft() || selection_;
 224 }
 225
 226
 227 bool MathCursor::right(bool sel)
 228 {
 229         dump("Right 1");
 230         autocorrect_ = false;
 231         targetx_ = -1; // "no target"
 232         if (inMacroMode()) {
 233                 macroModeClose();
 234                 return true;
 235         }
 236         selHandle(sel);
 237
 238         if (hasNextAtom() && openable(nextAtom(), sel)) {
 239                 pushLeft(nextAtom());
 240                 return true;
 241         }
 242
 243         return posRight() || idxRight() || popRight() || selection_;
 244 }
 245
 246
 247 void MathCursor::first()
 248 {
 249         Cursor_.clear();
 250         push(formula_->par());
 251         par()->idxFirst(idx(), pos());
 252 }
 253
 254
 255 void MathCursor::last()
 256 {
 257         Cursor_.clear();
 258         push(formula_->par());
 259         par()->idxLast(idx(), pos());
 260 }
 261
 262
 263 bool positionable(MathCursor::cursor_type const & cursor,
 264                   MathCursor::cursor_type const & anchor)
 265 {
 266         // avoid deeper nested insets when selecting
 267         if (cursor.size() > anchor.size())
 268                 return false;
 269
 270         // anchor might be deeper, should have same path then
 271         for (MathCursor::cursor_type::size_type i = 0; i < cursor.size(); ++i)
 272                 if (cursor[i].par_ != anchor[i].par_)
 273                         return false;
 274
 275         // position should be ok.
 276         return true;
 277 }
 278
 279
 280 void MathCursor::setPos(int x, int y)
 281 {
 282         dump("setPos 1");
 283         bool res = bruteFind(x, y,
 284                 formula()->xlow(), formula()->xhigh(),
 285                 formula()->ylow(), formula()->yhigh());
 286         if (!res) {
 287                 // this ccan happen on creation of "math-display"
 288                 dump("setPos 1.5");
 289                 first();
 290         }
 291         dump("setPos 2");
 292 }
 293
 294
 295
 296 void MathCursor::home(bool sel)
 297 {
 298         dump("home 1");
 299         autocorrect_ = false;
 300         selHandle(sel);
 301         macroModeClose();
 302         if (!par()->idxHome(idx(), pos()))
 303                 popLeft();
 304         dump("home 2");
 305 }
 306
 307
 308 void MathCursor::end(bool sel)
 309 {
 310         dump("end 1");
 311         autocorrect_ = false;
 312         selHandle(sel);
 313         macroModeClose();
 314         if (!par()->idxEnd(idx(), pos()))
 315                 popRight();
 316         dump("end 2");
 317 }
 318
 319
 320 void MathCursor::plainErase()
 321 {
 322         array().erase(pos());
 323 }
 324
 325
 326 void MathCursor::markInsert()
 327 {
 328         //lyxerr << "inserting mark\n";
 329         array().insert(pos(), MathAtom(new MathCharInset(0)));
 330 }
 331
 332
 333 void MathCursor::markErase()
 334 {
 335         //lyxerr << "deleting mark\n";
 336         array().erase(pos());
 337 }
 338
 339
 340 void MathCursor::plainInsert(MathAtom const & t)
 341 {
 342         array().insert(pos(), t);
 343         ++pos();
 344 }
 345
 346
 347 void MathCursor::insert(string const & str)
 348 {
 349         //lyxerr << "inserting '" << str << "'\n";
 350         selClearOrDel();
 351         for (string::const_iterator it = str.begin(); it != str.end(); ++it)
 352                 plainInsert(MathAtom(new MathCharInset(*it)));
 353 }
 354
 355
 356 void MathCursor::insert(char c)
 357 {
 358         //lyxerr << "inserting '" << c << "'\n";
 359         selClearOrDel();
 360         plainInsert(MathAtom(new MathCharInset(c)));
 361 }
 362
 363
 364 void MathCursor::insert(MathAtom const & t)
 365 {
 366         macroModeClose();
 367         selClearOrDel();
 368         plainInsert(t);
 369 }
 370
 371
 372 void MathCursor::niceInsert(MathAtom const & t)
 373 {
 374         macroModeClose();
 375         MathGridInset safe = grabAndEraseSelection();
 376         plainInsert(t);
 377         // enter the new inset and move the contents of the selection if possible
 378         if (t->isActive()) {
 379                 posLeft();
 380                 pushLeft(nextAtom());
 381                 paste(safe);
 382         }
 383 }
 384
 385
 386 void MathCursor::insert(MathArray const & ar)
 387 {
 388         macroModeClose();
 389         if (selection_)
 390                 eraseSelection();
 391
 392         array().insert(pos(), ar);
 393         pos() += ar.size();
 394 }
 395
 396
 397 void MathCursor::paste(MathArray const & ar)
 398 {
 399         Anchor_ = Cursor_;
 400         selection_ = true;
 401         array().insert(pos(), ar);
 402         pos() += ar.size();
 403 }
 404
 405
 406 void MathCursor::paste(MathGridInset const & data)
 407 {
 408         if (data.nargs() == 1) {
 409                 // single cell/part of cell
 410                 paste(data.cell(0));
 411         } else {
 412                 // mulitple cells
 413                 idx_type idx; // index of upper left cell
 414                 MathGridInset * p = enclosingGrid(idx);
 415                 col_type const numcols = min(data.ncols(), p->ncols() - p->col(idx));
 416                 row_type const numrows = min(data.nrows(), p->nrows() - p->row(idx));
 417                 for (row_type row = 0; row < numrows; ++row) {
 418                         for (col_type col = 0; col < numcols; ++col) {
 419                                 idx_type i = p->index(row + p->row(idx), col + p->col(idx));
 420                                 p->cell(i).push_back(data.cell(data.index(row, col)));
 421                         }
 422                         // append the left over horizontal cells to the last column
 423                         idx_type i = p->index(row + p->row(idx), p->ncols() - 1);
 424                         for (MathInset::col_type col = numcols; col < data.ncols(); ++col)
 425                                 p->cell(i).push_back(data.cell(data.index(row, col)));
 426                 }
 427                 // append the left over vertical cells to the last _cell_
 428                 idx_type i = p->nargs() - 1;
 429                 for (row_type row = numrows; row < data.nrows(); ++row)
 430                         for (col_type col = 0; col < data.ncols(); ++col)
 431                                 p->cell(i).push_back(data.cell(data.index(row, col)));
 432         }
 433 }
 434
 435 void MathCursor::backspace()
 436 {
 437         autocorrect_ = false;
 438         if (pos() == 0) {
 439                 pullArg(false);
 440                 return;
 441         }
 442
 443         if (selection_) {
 444                 selDel();
 445                 return;
 446         }
 447
 448         MathScriptInset * p = prevAtom()->asScriptInset();
 449         if (p) {
 450                 p->removeScript(p->hasUp());
 451                 // Don't delete if there is anything left
 452                 if (p->hasUp() || p->hasDown())
 453                         return;
 454         }
 455
 456         --pos();
 457         plainErase();
 458 }
 459
 460
 461 void MathCursor::erase()
 462 {
 463         autocorrect_ = false;
 464         if (inMacroMode())
 465                 return;
 466
 467         if (selection_) {
 468                 selDel();
 469                 return;
 470         }
 471
 472         // delete empty cells if possible
 473         if (array().empty())
 474                 if (par()->idxDelete(idx()))
 475                         return;
 476
 477         // old behaviour when in last position of cell
 478         if (pos() == size()) {
 479                 par()->idxGlue(idx());
 480                 return;
 481         }
 482
 483         MathScriptInset * p = nextAtom()->asScriptInset();
 484         if (p) {
 485                 p->removeScript(p->hasUp());
 486                 // Don't delete if there is anything left
 487                 if (p->hasUp() || p->hasDown())
 488                         return;
 489         }
 490
 491         plainErase();
 492 }
 493
 494
 495 void MathCursor::delLine()
 496 {
 497         autocorrect_ = false;
 498         macroModeClose();
 499
 500         if (selection_) {
 501                 selDel();
 502                 return;
 503         }
 504
 505         if (par()->nrows() > 1) {
 506                 // grid are the only things with more than one row...
 507                 lyx::Assert(par()->asGridInset());
 508                 par()->asGridInset()->delRow(hullRow());
 509         }
 510
 511         if (idx() >= par()->nargs())
 512                 idx() = par()->nargs() - 1;
 513
 514         if (pos() > size())
 515                 pos() = size();
 516 }
 517
 518
 519 bool MathCursor::up(bool sel)
 520 {
 521         dump("up 1");
 522         macroModeClose();
 523         selHandle(sel);
 524         cursor_type save = Cursor_;
 525         if (goUpDown(true))
 526                 return true;
 527         Cursor_ = save;
 528         autocorrect_ = false;
 529         return selection_;
 530 }
 531
 532
 533 bool MathCursor::down(bool sel)
 534 {
 535         dump("down 1");
 536         macroModeClose();
 537         selHandle(sel);
 538         cursor_type save = Cursor_;
 539         if (goUpDown(false))
 540                 return true;
 541         Cursor_ = save;
 542         autocorrect_ = false;
 543         return selection_;
 544 }
 545
 546
 547 bool MathCursor::toggleLimits()
 548 {
 549         if (!hasNextAtom())
 550                 return false;
 551         MathScriptInset * t = nextAtom()->asScriptInset();
 552         if (!t)
 553                 return false;
 554         int old = t->limits();
 555         t->limits(old < 0 ? 1 : -1);
 556         return old != t->limits();
 557 }
 558
 559
 560 void MathCursor::macroModeClose()
 561 {
 562         MathUnknownInset * p = inMacroMode();
 563         if (!p)
 564                 return;
 565         p->finalize();
 566         string s = p->name();
 567         --pos();
 568         array().erase(pos());
 569         if (s != "\\")
 570                 interpret(s);
 571 }
 572
 573
 574 string MathCursor::macroName() const
 575 {
 576         return inMacroMode() ? inMacroMode()->name() : string();
 577 }
 578
 579
 580 void MathCursor::selClear()
 581 {
 582         selection_ = false;
 583 }
 584
 585
 586 void MathCursor::selCopy()
 587 {
 588         dump("selCopy");
 589         if (selection_) {
 590                 theCutBuffer = grabSelection();
 591                 selection_ = false;
 592         } else {
 593                 theCutBuffer = MathGridInset(1, 1);
 594         }
 595 }
 596
 597
 598 void MathCursor::selCut()
 599 {
 600         dump("selCut");
 601         theCutBuffer = grabAndEraseSelection();
 602 }
 603
 604
 605 void MathCursor::selDel()
 606 {
 607         dump("selDel");
 608         if (selection_) {
 609                 eraseSelection();
 610                 selection_ = false;
 611         }
 612 }
 613
 614
 615 void MathCursor::selPaste()
 616 {
 617         dump("selPaste");
 618         selClearOrDel();
 619         paste(theCutBuffer);
 620         //grabSelection();
 621         selection_ = false;
 622 }
 623
 624
 625 void MathCursor::selHandle(bool sel)
 626 {
 627         if (sel == selection_)
 628                 return;
 629         //clear();
 630         Anchor_ = Cursor_;
 631         selection_ = sel;
 632 }
 633
 634
 635 void MathCursor::selStart()
 636 {
 637         dump("selStart 1");
 638         //clear();
 639         Anchor_ = Cursor_;
 640         selection_ = true;
 641         dump("selStart 2");
 642 }
 643
 644
 645 void MathCursor::selClearOrDel()
 646 {
 647         if (lyxrc.auto_region_delete)
 648                 selDel();
 649         else
 650                 selection_ = false;
 651 }
 652
 653
 654 void MathCursor::selGet(MathArray & ar)
 655 {
 656         dump("selGet");
 657         if (selection_)
 658                 ar = grabSelection().glue();
 659 }
 660
 661
 662
 663 void MathCursor::drawSelection(MathPainterInfo & pain) const
 664 {
 665         if (!selection_)
 666                 return;
 667
 668         MathCursorPos i1;
 669         MathCursorPos i2;
 670         getSelection(i1, i2);
 671
 672         if (i1.idx_ == i2.idx_) {
 673                 MathXArray & c = i1.xcell();
 674                 int x1 = c.xo() + c.pos2x(i1.pos_);
 675                 int y1 = c.yo() - c.ascent();
 676                 int x2 = c.xo() + c.pos2x(i2.pos_);
 677                 int y2 = c.yo() + c.descent();
 678                 pain.pain.fillRectangle(x1, y1, x2 - x1, y2 - y1, LColor::selection);
 679         } else {
 680                 vector<MathInset::idx_type> indices
 681                         = i1.par_->idxBetween(i1.idx_, i2.idx_);
 682                 for (unsigned i = 0; i < indices.size(); ++i) {
 683                         MathXArray & c = i1.xcell(indices[i]);
 684                         int x1 = c.xo();
 685                         int y1 = c.yo() - c.ascent();
 686                         int x2 = c.xo() + c.width();
 687                         int y2 = c.yo() + c.descent();
 688                         pain.pain.fillRectangle(x1, y1, x2 - x1, y2 - y1, LColor::selection);
 689                 }
 690         }
 691
 692 #if 0
 693         // draw anchor if different from selection boundary
 694         MathCursorPos anc = Anchor_.back();
 695         if (anc != i1 && anc != i2) {
 696                 MathXArray & c = anc.xcell();
 697                 int x  = c.xo() + c.pos2x(anc.pos_);
 698                 int y1 = c.yo() - c.ascent();
 699                 int y2 = c.yo() + c.descent();
 700                 pain.line(x, y1, x, y2, LColor::math);
 701         }
 702 #endif
 703 }
 704
 705
 706 void MathCursor::handleDelim(string const & l, string const & r)
 707 {
 708         handleNest(new MathDelimInset(l, r));
 709 }
 710
 711
 712 void MathCursor::handleNest(MathInset * p)
 713 {
 714         p->cell(0) = grabAndEraseSelection().glue();
 715         insert(MathAtom(p)); // this invalidates p!
 716         pushRight(prevAtom());
 717 }
 718
 719
 720 void MathCursor::getPos(int & x, int & y)
 721 {
 722         par()->getPos(idx(), pos(), x, y);
 723 }
 724
 725
 726 MathInset * MathCursor::par() const
 727 {
 728         return cursor().par_;
 729 }
 730
 731
 732 InsetFormulaBase * MathCursor::formula() const
 733 {
 734         return formula_;
 735 }
 736
 737
 738 MathCursor::idx_type MathCursor::idx() const
 739 {
 740         return cursor().idx_;
 741 }
 742
 743
 744 MathCursor::idx_type & MathCursor::idx()
 745 {
 746         return cursor().idx_;
 747 }
 748
 749
 750 MathCursor::pos_type MathCursor::pos() const
 751 {
 752         return cursor().pos_;
 753 }
 754
 755
 756 MathCursor::pos_type & MathCursor::pos()
 757 {
 758         return cursor().pos_;
 759 }
 760
 761
 762 MathUnknownInset * MathCursor::inMacroMode() const
 763 {
 764         if (!hasPrevAtom())
 765                 return 0;
 766         MathUnknownInset * p = prevAtom()->asUnknownInset();
 767         return (p && !p->final()) ? p : 0;
 768 }
 769
 770
 771 bool MathCursor::inMacroArgMode() const
 772 {
 773         return pos() > 0 && prevAtom()->getChar() == '#';
 774 }
 775
 776
 777 bool MathCursor::selection() const
 778 {
 779         return selection_;
 780 }
 781
 782
 783 MathGridInset * MathCursor::enclosingGrid(MathCursor::idx_type & idx) const
 784 {
 785         for (MathInset::difference_type i = depth() - 1; i >= 0; --i) {
 786                 MathGridInset * p = Cursor_[i].par_->asGridInset();
 787                 if (p) {
 788                         idx = Cursor_[i].idx_;
 789                         return p;
 790                 }
 791         }
 792         return 0;
 793 }
 794
 795
 796 MathHullInset * MathCursor::enclosingHull(MathCursor::idx_type & idx) const
 797 {
 798         for (MathInset::difference_type i = depth() - 1; i >= 0; --i) {
 799                 MathHullInset * p = Cursor_[i].par_->asHullInset();
 800                 if (p) {
 801                         idx = Cursor_[i].idx_;
 802                         return p;
 803                 }
 804         }
 805         return 0;
 806 }
 807
 808
 809 void MathCursor::popToEnclosingGrid()
 810 {
 811         while (depth() && !Cursor_.back().par_->asGridInset())
 812                 Cursor_.pop_back();
 813 }
 814
 815
 816 void MathCursor::popToEnclosingHull()
 817 {
 818         while (depth() && !Cursor_.back().par_->asHullInset())
 819                 Cursor_.pop_back();
 820 }
 821
 822
 823 void MathCursor::pullArg(bool goright)
 824 {
 825         dump("pullarg");
 826         MathArray a = array();
 827
 828         MathScriptInset const * p = par()->asScriptInset();
 829         if (p) {
 830                 // special handling for scripts
 831                 const bool up = p->hasUp();
 832                 popLeft();
 833                 MathScriptInset * q = nextAtom()->asScriptInset();
 834                 if (q)
 835                         q->removeScript(up);
 836                 ++pos();
 837                 array().insert(pos(), a);
 838                 return;
 839         }
 840
 841         if (popLeft()) {
 842                 plainErase();
 843                 array().insert(pos(), a);
 844                 if (goright)
 845                         pos() += a.size();
 846         } else {
 847                 formula()->mutateToText();
 848         }
 849 }
 850
 851
 852 void MathCursor::touch()
 853 {
 854         cursor_type::const_iterator it = Cursor_.begin();
 855         cursor_type::const_iterator et = Cursor_.end();
 856         for ( ; it != et; ++it)
 857                 it->xcell().touch();
 858 }
 859
 860
 861 void MathCursor::normalize()
 862 {
 863 #if 0
 864         // rebreak
 865         {
 866                 MathIterator it = ibegin(formula()->par().nucleus());
 867                 MathIterator et = iend(formula()->par().nucleus());
 868                 for (; it != et; ++it)
 869                         if (it.par()->asBoxInset())
 870                                 it.par()->asBoxInset()->rebreak();
 871         }
 872 #endif
 873
 874         if (idx() >= par()->nargs()) {
 875                 lyxerr << "this should not really happen - 1: "
 876                        << idx() << " " << par()->nargs() << "\n";
 877                 dump("error 2");
 878         }
 879         idx() = min(idx(), par()->nargs() - 1);
 880
 881         if (pos() > size()) {
 882                 lyxerr << "this should not really happen - 2: "
 883                         << pos() << " " << size() <<  " in idx: " << idx()
 884                         << " in atom: '";
 885                 WriteStream wi(lyxerr, false, true);
 886                 par()->write(wi);
 887                 lyxerr << "\n";
 888                 dump("error 4");
 889         }
 890         pos() = min(pos(), size());
 891
 892         // remove empty scripts if possible
 893         if (1) {
 894                 for (pos_type i = 0; i < size(); ++i) {
 895                         MathScriptInset * p = array()[i]->asScriptInset();
 896                         if (p) {
 897                                 p->removeEmptyScripts();
 898                                 //if (p->empty())
 899                                 //      array().erase(i);
 900                         }
 901                 }
 902         }
 903
 904         // fix again position
 905         pos() = min(pos(), size());
 906 }
 907
 908
 909 MathCursor::size_type MathCursor::size() const
 910 {
 911         return array().size();
 912 }
 913
 914
 915 MathCursor::col_type MathCursor::hullCol() const
 916 {
 917         idx_type idx = 0;
 918         MathHullInset * p = enclosingHull(idx);
 919         return p->col(idx);
 920 }
 921
 922
 923 MathCursor::row_type MathCursor::hullRow() const
 924 {
 925         idx_type idx = 0;
 926         MathHullInset * p = enclosingHull(idx);
 927         return p->row(idx);
 928 }
 929
 930
 931 bool MathCursor::hasPrevAtom() const
 932 {
 933         return pos() > 0;
 934 }
 935
 936
 937 bool MathCursor::hasNextAtom() const
 938 {
 939         return pos() < size();
 940 }
 941
 942
 943 MathAtom const & MathCursor::prevAtom() const
 944 {
 945         lyx::Assert(pos() > 0);
 946         return array()[pos() - 1];
 947 }
 948
 949
 950 MathAtom & MathCursor::prevAtom()
 951 {
 952         lyx::Assert(pos() > 0);
 953         return array()[pos() - 1];
 954 }
 955
 956
 957 MathAtom const & MathCursor::nextAtom() const
 958 {
 959         lyx::Assert(pos() < size());
 960         return array()[pos()];
 961 }
 962
 963
 964 MathAtom & MathCursor::nextAtom()
 965 {
 966         lyx::Assert(pos() < size());
 967         return array()[pos()];
 968 }
 969
 970
 971 MathArray & MathCursor::array() const
 972 {
 973         static MathArray dummy;
 974
 975         if (idx() >= par()->nargs()) {
 976                 lyxerr << "############  idx_ " << idx() << " not valid\n";
 977                 return dummy;
 978         }
 979
 980         if (depth() == 0) {
 981                 lyxerr << "############  depth() == 0 not valid\n";
 982                 return dummy;
 983         }
 984
 985         return cursor().cell();
 986 }
 987
 988
 989 MathXArray & MathCursor::xarray() const
 990 {
 991         static MathXArray dummy;
 992
 993         if (depth() == 0) {
 994                 lyxerr << "############  depth() == 0 not valid\n";
 995                 return dummy;
 996         }
 997
 998         return cursor().xcell();
 999 }
1000
1001
1002 void MathCursor::idxNext()
1003 {
1004         par()->idxNext(idx(), pos());
1005 }
1006
1007
1008 void MathCursor::idxPrev()
1009 {
1010         par()->idxPrev(idx(), pos());
1011 }
1012
1013
1014 void MathCursor::splitCell()
1015 {
1016         if (idx() + 1 == par()->nargs())
1017                 return;
1018         MathArray ar = array();
1019         ar.erase(0, pos());
1020         array().erase(pos(), size());
1021         ++idx();
1022         pos() = 0;
1023         array().insert(0, ar);
1024 }
1025
1026
1027 void MathCursor::breakLine()
1028 {
1029         // leave inner cells
1030         while (popRight())
1031                 ;
1032
1033         idx_type dummy;
1034         MathHullInset * p = enclosingHull(dummy);
1035         if (!p)
1036                 return;
1037
1038         if (p->getType() == "simple" || p->getType() == "equation") {
1039                 p->mutate("eqnarray");
1040                 idx() = 1;
1041                 pos() = 0;
1042         } else {
1043                 p->addRow(hullRow());
1044
1045                 // split line
1046                 const row_type r = hullRow();
1047                 for (col_type c = hullCol() + 1; c < p->ncols(); ++c)
1048                         p->cell(p->index(r, c)).swap(p->cell(p->index(r + 1, c)));
1049
1050                 // split cell
1051                 splitCell();
1052                 p->cell(idx()).swap(p->cell(idx() + p->ncols() - 1));
1053         }
1054 }
1055
1056
1057 //void MathCursor::readLine(MathArray & ar) const
1058 //{
1059 //      idx_type base = row() * par()->ncols();
1060 //      for (idx_type off = 0; off < par()->ncols(); ++off)
1061 //              ar.push_back(par()->cell(base + off));
1062 //}
1063
1064
1065 char MathCursor::valign() const
1066 {
1067         idx_type idx;
1068         MathGridInset * p = enclosingGrid(idx);
1069         return p ? p->valign() : '\0';
1070 }
1071
1072
1073 char MathCursor::halign() const
1074 {
1075         idx_type idx;
1076         MathGridInset * p = enclosingGrid(idx);
1077         return p ? p->halign(idx % p->ncols()) : '\0';
1078 }
1079
1080
1081 void MathCursor::getSelection(MathCursorPos & i1, MathCursorPos & i2) const
1082 {
1083         MathCursorPos anc = normalAnchor();
1084         if (anc < cursor()) {
1085                 i1 = anc;
1086                 i2 = cursor();
1087         } else {
1088                 i1 = cursor();
1089                 i2 = anc;
1090         }
1091 }
1092
1093
1094 MathCursorPos & MathCursor::cursor()
1095 {
1096         lyx::Assert(depth());
1097         return Cursor_.back();
1098 }
1099
1100
1101 MathCursorPos const & MathCursor::cursor() const
1102 {
1103         lyx::Assert(depth());
1104         return Cursor_.back();
1105 }
1106
1107
1108 bool MathCursor::goUpDown(bool up)
1109 {
1110         // Be warned: The 'logic' implemented in this function is highly fragile.
1111         // A distance of one pixel or a '<' vs '<=' _really_ matters.
1112         // So fiddle around with it only if you know what you are doing!
1113         int xlow, xhigh, ylow, yhigh;
1114
1115   int xo, yo;
1116         getPos(xo, yo);
1117
1118         // check if we had something else in mind, if not, this is the future goal
1119         if (targetx_ == -1)
1120                 targetx_ = xo;
1121         else
1122                 xo = targetx_;
1123
1124         // try neigbouring script insets
1125         // try left
1126         if (hasPrevAtom()) {
1127                 MathScriptInset * p = prevAtom()->asScriptInset();
1128                 if (p && p->has(up)) {
1129                         --pos();
1130                         push(nextAtom());
1131                         idx() = up; // the superscript has index 1
1132                         pos() = size();
1133                         ///lyxerr << "updown: handled by scriptinset to the left\n";
1134                         return true;
1135                 }
1136         }
1137
1138         // try right
1139         if (hasNextAtom()) {
1140                 MathScriptInset * p = nextAtom()->asScriptInset();
1141                 if (p && p->has(up)) {
1142                         push(nextAtom());
1143                         idx() = up;
1144                         pos() = 0;
1145                         ///lyxerr << "updown: handled by scriptinset to the right\n";
1146                         return true;
1147                 }
1148         }
1149
1150         // try current cell
1151         //xarray().boundingBox(xlow, xhigh, ylow, yhigh);
1152         //if (up)
1153         //      yhigh = yo - 4;
1154         //else
1155         //      ylow = yo + 4;
1156         //if (bruteFind(xo, yo, xlow, xhigh, ylow, yhigh)) {
1157         //      lyxerr << "updown: handled by brute find in the same cell\n";
1158         //      return true;
1159         //}
1160
1161         // try to find an inset that knows better then we
1162         while (1) {
1163                 ///lyxerr << "updown: We are in " << *par() << " idx: " << idx() << '\n';
1164                 // ask inset first
1165                 if (par()->idxUpDown(idx(), up)) {
1166                         // we found a cell that thinks it has something "below" us.
1167                         ///lyxerr << "updown: found inset that handles UpDown\n";
1168                         xarray().boundingBox(xlow, xhigh, ylow, yhigh);
1169                         // project (xo,yo) onto proper box
1170                         ///lyxerr << "\n   xo: " << xo << " yo: " << yo
1171                         ///       << "\n   xlow: " << xlow << " ylow: " << ylow
1172                         ///       << "\n   xhigh: " << xhigh << " yhigh: " << yhigh;
1173                         xo = min(max(xo, xlow), xhigh);
1174                         yo = min(max(yo, ylow), yhigh);
1175                         ///lyxerr << "\n   xo2: " << xo << " yo2: " << yo << "\n";
1176                         bruteFind(xo, yo, xlow, xhigh, ylow, yhigh);
1177                         ///lyxerr << "updown: handled by final brute find\n";
1178                         return true;
1179                 }
1180
1181                 // leave inset
1182                 if (!popLeft()) {
1183                         // no such inset found, just take something "above"
1184                         ///lyxerr << "updown: handled by strange case\n";
1185                         return
1186                                 bruteFind(xo, yo,
1187                                         formula()->xlow(),
1188                                         formula()->xhigh(),
1189                                         up ? formula()->ylow() : yo + 4,
1190                                         up ? yo - 4 : formula()->yhigh()
1191                                 );
1192                 }
1193
1194                 // any improvement so far?
1195                 int xnew, ynew;
1196                 getPos(xnew, ynew);
1197                 if (up ? ynew < yo : ynew > yo)
1198                         return true;
1199         }
1200 }
1201
1202
1203 bool MathCursor::bruteFind
1204         (int x, int y, int xlow, int xhigh, int ylow, int yhigh)
1205 {
1206         cursor_type best_cursor;
1207         double best_dist = 1e10;
1208
1209         MathIterator it = ibegin(formula()->par().nucleus());
1210         MathIterator et = iend(formula()->par().nucleus());
1211         while (1) {
1212                 // avoid invalid nesting when selecting
1213                 if (!selection_ || positionable(it.cursor(), Anchor_)) {
1214                         MathCursorPos const & top = it.position();
1215                         int xo = top.xpos();
1216                         int yo = top.ypos();
1217                         if (xlow <= xo && xo <= xhigh && ylow <= yo && yo <= yhigh) {
1218                                 double d = (x - xo) * (x - xo) + (y - yo) * (y - yo);
1219                                 // '<=' in order to take the last possible position
1220                                 // this is important for clicking behind \sum in e.g. '\sum_i a'
1221                                 if (d <= best_dist) {
1222                                         best_dist   = d;
1223                                         best_cursor = it.cursor();
1224                                 }
1225                         }
1226                 }
1227
1228                 if (it == et)
1229                         break;
1230                 ++it;
1231         }
1232
1233         if (best_dist < 1e10)
1234                 Cursor_ = best_cursor;
1235         return best_dist < 1e10;
1236 }
1237
1238
1239 bool MathCursor::idxLineFirst()
1240 {
1241         idx() -= idx() % par()->ncols();
1242         pos() = 0;
1243         return true;
1244 }
1245
1246
1247 bool MathCursor::idxLineLast()
1248 {
1249         idx() -= idx() % par()->ncols();
1250         idx() += par()->ncols() - 1;
1251         pos() = size();
1252         return true;
1253 }
1254
1255 bool MathCursor::idxLeft()
1256 {
1257         return par()->idxLeft(idx(), pos());
1258 }
1259
1260
1261 bool MathCursor::idxRight()
1262 {
1263         return par()->idxRight(idx(), pos());
1264 }
1265
1266
1267 bool MathCursor::interpret(string const & s)
1268 {
1269         //lyxerr << "interpret 1: '" << s << "'\n";
1270         if (s.empty())
1271                 return true;
1272
1273         //lyxerr << "char: '" << s[0] << "'  int: " << int(s[0]) << endl;
1274         //owner_->getIntl()->getTransManager().TranslateAndInsert(s[0], lt);
1275         //lyxerr << "trans: '" << s[0] << "'  int: " << int(s[0]) << endl;
1276
1277         if (s.size() >= 5 && s.substr(0, 5) == "cases") {
1278                 unsigned int n = 1;
1279                 istringstream is(s.substr(5).c_str());
1280                 is >> n;
1281                 n = max(1u, n);
1282                 niceInsert(MathAtom(new MathCasesInset(n)));
1283                 return true;
1284         }
1285
1286         if (s.size() >= 6 && s.substr(0, 6) == "matrix") {
1287                 unsigned int m = 1;
1288                 unsigned int n = 1;
1289                 string v_align;
1290                 string h_align;
1291                 istringstream is(s.substr(6).c_str());
1292                 is >> m >> n >> v_align >> h_align;
1293                 m = max(1u, m);
1294                 n = max(1u, n);
1295                 v_align += 'c';
1296                 niceInsert(MathAtom(new MathArrayInset("array", m, n, v_align[0], h_align)));
1297                 return true;
1298         }
1299
1300         if (s.size() >= 7 && s.substr(0, 7) == "replace") {
1301                 ReplaceData rep;
1302                 istringstream is(s.substr(7).c_str());
1303                 string from, to;
1304                 is >> from >> to;
1305                 mathed_parse_cell(rep.from, from);
1306                 mathed_parse_cell(rep.to, to);
1307                 lyxerr << "replacing '" << from << "' with '" << to << "'\n";
1308                 par()->replace(rep);
1309                 return true;
1310         }
1311
1312         string name = s.substr(1);
1313
1314         if (name == "over" || name == "choose" || name == "atop") {
1315                 MathArray ar = array();
1316                 MathAtom t(createMathInset(name));
1317                 t->asNestInset()->cell(0).swap(array());
1318                 pos() = 0;
1319                 niceInsert(t);
1320                 popRight();
1321                 left();
1322                 return true;
1323         }
1324
1325         // prevent entering of recursive macros
1326         if (formula()->lyxCode() == Inset::MATHMACRO_CODE
1327                 && formula()->getInsetName() == name)
1328         {
1329                 lyxerr << "can't enter recursive macro\n";
1330                 return true;
1331         }
1332
1333         niceInsert(createMathInset(name));
1334         return true;
1335 }
1336
1337
1338 bool MathCursor::script(bool up)
1339 {
1340         // Hack to get \\^ and \\_ working
1341         if (inMacroMode() && macroName() == "\\") {
1342                 if (up)
1343                         interpret("\\mathcircumflex");
1344                 else
1345                         interpret('_');
1346                 return true;
1347         }
1348
1349         macroModeClose();
1350         MathGridInset safe = grabAndEraseSelection();
1351         if (hasPrevAtom() && prevAtom()->asScriptInset()) {
1352                 prevAtom()->asScriptInset()->ensure(up);
1353                 pushRight(prevAtom());
1354                 idx() = up;
1355                 pos() = size();
1356         } else if (hasNextAtom() && nextAtom()->asScriptInset()) {
1357                 nextAtom()->asScriptInset()->ensure(up);
1358                 pushLeft(nextAtom());
1359                 idx() = up;
1360                 pos() = 0;
1361         } else {
1362                 plainInsert(MathAtom(new MathScriptInset(up)));
1363                 prevAtom()->asScriptInset()->ensure(up);
1364                 pushRight(prevAtom());
1365                 idx() = up;
1366                 pos() = 0;
1367         }
1368         paste(safe);
1369         dump("1");
1370         return true;
1371 }
1372
1373
1374 bool MathCursor::inMathMode() const
1375 {
1376         if (par()->asBoxInset())
1377                 return false;
1378         if (par()->asFboxInset())
1379                 return false;
1380         if (par()->asParboxInset())
1381                 return false;
1382         if (par()->asParInset())
1383                 return false;
1384         return true;
1385 }
1386
1387
1388 bool MathCursor::interpret(char c)
1389 {
1390         //lyxerr << "interpret 2: '" << c << "'\n";
1391         targetx_ = -1; // "no target"
1392         if (inMacroArgMode()) {
1393                 --pos();
1394                 plainErase();
1395                 int n = c - '0';
1396                 MathMacroTemplate * p = formula()->par()->asMacroTemplate();
1397                 if (p && 1 <= n && n <= p->numargs())
1398                         insert(MathAtom(new MathMacroArgument(c - '0')));
1399                 else {
1400                         insert(createMathInset("#"));
1401                         interpret(c); // try again
1402                 }
1403                 return true;
1404         }
1405
1406         // handle macroMode
1407         if (inMacroMode()) {
1408                 string name = macroName();
1409                 //lyxerr << "interpret name: '" << name << "'\n";
1410
1411                 if (name.empty() && c == '\\') {
1412                         backspace();
1413                         interpret("\\backslash");
1414                         return true;
1415                 }
1416
1417                 if (isalpha(c)) {
1418                         inMacroMode()->name() += c;
1419                         return true;
1420                 }
1421
1422                 // handle 'special char' macros
1423                 if (name == "\\") {
1424                         // remove the '\\'
1425                         backspace();
1426                         if (c == '\\')
1427                                 interpret("\\backslash");
1428                         else
1429                                 interpret(string("\\") + c);
1430                         return true;
1431                 }
1432
1433                 // leave macro mode and try again if necessary
1434                 macroModeClose();
1435                 if (c != ' ')
1436                         interpret(c);
1437                 return true;
1438         }
1439
1440         // This is annoying as one has to press <space> far too often.
1441         // Disable it.
1442
1443         if (0) {
1444                 // leave autocorrect mode if necessary
1445                 if (autocorrect_ && c == ' ') {
1446                         autocorrect_ = false;
1447                         return true;
1448                 }
1449         }
1450
1451         // just clear selection on pressing the space bar
1452         if (selection_ && c == ' ') {
1453                 selection_ = false;
1454                 return true;
1455         }
1456
1457         selClearOrDel();
1458
1459         if (!inMathMode()) {
1460                 // suppress direct insertion of two spaces in a row
1461                 // the still allows typing  '<space>a<space>' and deleting the 'a', but
1462                 // it is better than nothing...
1463                 if (c == ' ' && hasPrevAtom() && prevAtom()->getChar() == ' ')
1464                         return true;
1465                 insert(c);
1466                 return true;
1467         }
1468
1469         if (c == '\\') {
1470                 lyxerr << "starting with macro\n";
1471                 insert(MathAtom(new MathUnknownInset("\\", false)));
1472                 return true;
1473         }
1474
1475         if (c == ' ') {
1476                 if (hasPrevAtom() && prevAtom()->asSpaceInset()) {
1477                         prevAtom()->asSpaceInset()->incSpace();
1478                         return true;
1479                 }
1480                 if (popRight())
1481                         return true;
1482                 // if are at the very end, leave the formula
1483                 return pos() != size();
1484         }
1485
1486         if (c == '#') {
1487                 insert(c); // LM_TC_TEX;
1488                 return true;
1489         }
1490
1491 /*
1492         if (c == '{' || c == '}', c)) {
1493                 insert(c); // LM_TC_TEX;
1494                 return true;
1495         }
1496 */
1497
1498         if (c == '{') {
1499                 niceInsert(MathAtom(new MathBraceInset));
1500                 return true;
1501         }
1502
1503         if (c == '}') {
1504                 return true;
1505         }
1506
1507         if (c == '$') {
1508                 insert(createMathInset("$"));
1509                 return true;
1510         }
1511
1512         if (c == '%') {
1513                 insert(createMathInset("%"));
1514                 return true;
1515         }
1516
1517 /*
1518         if (isalpha(c) && lastcode_ == LM_TC_GREEK) {
1519                 insert(c, LM_TC_VAR);
1520                 return true;
1521         }
1522
1523         if (isalpha(c) && lastcode_ == LM_TC_GREEK1) {
1524                 insert(c, LM_TC_VAR);
1525                 lastcode_ = LM_TC_VAR;
1526                 return true;
1527         }
1528
1529         if (c == '\\') {
1530                 insert(c, LM_TC_TEX);
1531                 //bv->owner()->message(_("TeX mode"));
1532                 return true;
1533         }
1534 */
1535
1536         // try auto-correction
1537         //if (autocorrect_ && hasPrevAtom() && math_autocorrect(prevAtom(), c))
1538         //      return true;
1539
1540         // no special circumstances, so insert the character without any fuss
1541         insert(c);
1542         autocorrect_ = true;
1543         return true;
1544 }
1545
1546
1547 void MathCursor::setSelection(cursor_type const & where, size_type n)
1548 {
1549         selection_ = true;
1550         Anchor_ = where;
1551         Cursor_ = where;
1552         cursor().pos_ += n;
1553 }
1554
1555
1556 void MathCursor::insetToggle()
1557 {
1558         if (hasNextAtom()) {
1559                 // toggle next inset ...
1560                 nextAtom()->lock(!nextAtom()->lock());
1561         } else if (popLeft() && hasNextAtom()) {
1562                 // ... or enclosing inset if we are in the last inset position
1563                 nextAtom()->lock(!nextAtom()->lock());
1564                 posRight();
1565         }
1566 }
1567
1568
1569 string MathCursor::info() const
1570 {
1571         ostringstream os;
1572         os << "Math editor mode.  ";
1573         for (int i = 0, n = depth(); i < n; ++i) {
1574                 Cursor_[i].par_->infoize(os);
1575                 os << "  ";
1576         }
1577         if (hasPrevAtom())
1578                 if (prevAtom()->asSymbolInset() || prevAtom()->asScriptInset())
1579                         prevAtom()->infoize(os);
1580         os << "                    ";
1581         return os.str().c_str(); // .c_str() needed for lyxstring
1582 }
1583
1584
1585 unsigned MathCursor::depth() const
1586 {
1587         return Cursor_.size();
1588 }
1589
1590
1591
1592
1593 namespace {
1594
1595 void region(MathCursorPos const & i1, MathCursorPos const & i2,
1596         MathInset::row_type & r1, MathInset::row_type & r2,
1597         MathInset::col_type & c1, MathInset::col_type & c2)
1598 {
1599         MathInset * p = i1.par_;
1600         c1 = p->col(i1.idx_);
1601         c2 = p->col(i2.idx_);
1602         if (c1 > c2)
1603                 swap(c1, c2);
1604         r1 = p->row(i1.idx_);
1605         r2 = p->row(i2.idx_);
1606         if (r1 > r2)
1607                 swap(r1, r2);
1608 }
1609
1610 }
1611
1612
1613 MathGridInset MathCursor::grabSelection() const
1614 {
1615         if (!selection_)
1616                 return MathGridInset();
1617         MathCursorPos i1;
1618         MathCursorPos i2;
1619         getSelection(i1, i2);
1620         // shouldn't we assert on i1.par_ == i2.par_?
1621         if (i1.idx_ == i2.idx_) {
1622                 MathGridInset data(1, 1);
1623                 data.cell(0) = MathArray(i1.cell(), i1.pos_, i2.pos_);
1624                 return data;
1625         }
1626         row_type r1, r2;
1627         col_type c1, c2;
1628         region(i1, i2, r1, r2, c1, c2);
1629         MathGridInset data(c2 - c1 + 1, r2 - r1 + 1);
1630         for (row_type row = 0; row < data.nrows(); ++row)
1631                 for (col_type col = 0; col < data.ncols(); ++col) {
1632                         idx_type i = i1.par_->index(row + r1, col + c1);
1633                         data.cell(data.index(row, col)) = i1.par_->cell(i);
1634                 }
1635         return data;
1636 }
1637
1638
1639 void MathCursor::eraseSelection()
1640 {
1641         MathCursorPos i1;
1642         MathCursorPos i2;
1643         getSelection(i1, i2);
1644         if (i1.idx_ == i2.idx_)
1645                 i1.cell().erase(i1.pos_, i2.pos_);
1646         else {
1647                 MathInset * p = i1.par_;
1648                 row_type r1, r2;
1649                 col_type c1, c2;
1650                 region(i1, i2, r1, r2, c1, c2);
1651                 for (row_type row = r1; row <= r2; ++row)
1652                         for (col_type col = c1; col <= c2; ++col)
1653                                 p->cell(p->index(row, col)).erase();
1654         }
1655         cursor() = i1;
1656 }
1657
1658
1659 MathGridInset MathCursor::grabAndEraseSelection()
1660 {
1661         if (!selection_)
1662                 return MathGridInset();
1663         MathGridInset res = grabSelection();
1664         eraseSelection();
1665         selection_ = false;
1666         return res;
1667 }
1668
1669
1670 MathCursorPos MathCursor::normalAnchor() const
1671 {
1672         if (Anchor_.size() < depth()) {
1673                 Anchor_ = Cursor_;
1674                 lyxerr << "unusual Anchor size\n";
1675         }
1676         //lyx::Assert(Anchor_.size() >= cursor.depth());
1677         // use Anchor on the same level as Cursor
1678         MathCursorPos normal = Anchor_[depth() - 1];
1679         if (depth() < Anchor_.size() && !(normal < cursor())) {
1680                 // anchor is behind cursor -> move anchor behind the inset
1681                 ++normal.pos_;
1682         }
1683         return normal;
1684 }
1685
1686
1687
1688 void MathCursor::handleExtern(const string & arg)
1689 {
1690         string lang;
1691         string extra;
1692         istringstream iss(arg.c_str());
1693         iss >> lang >> extra;
1694         if (extra.empty())
1695                 extra = "noextra";
1696
1697
1698         if (selection()) {
1699                 MathArray ar;
1700                 selGet(ar);
1701                 lyxerr << "use selection: " << ar << "\n";
1702                 insert(pipeThroughExtern(lang, extra, ar));
1703                 return;
1704         }
1705
1706         MathArray eq;
1707         eq.push_back(MathAtom(new MathCharInset('=')));
1708
1709         popToEnclosingHull();
1710
1711         idx_type idx = 0;
1712         MathHullInset * hull = enclosingHull(idx);
1713         lyx::Assert(hull);
1714         idxLineFirst();
1715
1716         if (hull->getType() == "simple") {
1717                 MathArray::size_type pos = cursor().cell().find_last(eq);
1718                 MathArray ar;
1719                 if (pos == size()) {
1720                         ar = array();
1721                         lyxerr << "use whole cell: " << ar << "\n";
1722                 } else {
1723                         ar = MathArray(array(), pos + 1, size());
1724                         lyxerr << "use partial cell form pos: " << pos << "\n";
1725                 }
1726                 end();
1727                 insert(eq);
1728                 insert(pipeThroughExtern(lang, extra, ar));
1729                 return;
1730         }
1731
1732         if (hull->getType() == "equation") {
1733                 lyxerr << "use equation inset\n";
1734                 hull->mutate("eqnarray");
1735                 MathArray & ar = cursor().cell();
1736                 lyxerr << "use cell: " << ar << "\n";
1737                 idxRight();
1738                 cursor().cell() = eq;
1739                 idxRight();
1740                 cursor().cell() = pipeThroughExtern(lang, extra, ar);
1741                 idxLineLast();
1742                 return;
1743         }
1744
1745         {
1746                 lyxerr << "use eqnarray\n";
1747                 idxLineLast();
1748                 MathArray ar = cursor().cell();
1749                 lyxerr << "use cell: " << ar << "\n";
1750                 breakLine();
1751                 idxRight();
1752                 cursor().cell() = eq;
1753                 idxRight();
1754                 cursor().cell() = pipeThroughExtern(lang, extra, ar);
1755                 idxLineLast();
1756         }
1757
1758 }
1759
1760
1761 int MathCursor::dispatch(string const & cmd)
1762 {
1763         // try to dispatch to adajcent items if they are not editable
1764         // actually, this should only happen for mouse clicks...
1765         if (hasNextAtom() && !openable(nextAtom(), false))
1766                 if (int res = nextAtom()->dispatch(cmd, 0, 0))
1767                         return res;
1768         if (hasPrevAtom() && !openable(prevAtom(), false))
1769                 if (int res = prevAtom()->dispatch(cmd, 0, 0))
1770                         return res;
1771
1772         for (int i = Cursor_.size() - 1; i >= 0; --i) {
1773                 MathCursorPos & pos = Cursor_[i];
1774                 if (int res = pos.par_->dispatch(cmd, pos.idx_, pos.pos_))
1775                         return res;
1776         }
1777         return 0;
1778 }