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 #ifdef WITH_WARNINGS
 723 #warning This should probably take cellXOffset and cellYOffset into account
 724 #endif
 725         x = xarray().xo() + xarray().pos2x(pos());
 726         // move cursor visually into empty cells ("blue rectangles");
 727         if (array().empty())
 728                 x += 2;
 729         y = xarray().yo();
 730 }
 731
 732
 733 MathInset * MathCursor::par() const
 734 {
 735         return cursor().par_;
 736 }
 737
 738
 739 InsetFormulaBase * MathCursor::formula()
 740 {
 741         return formula_;
 742 }
 743
 744
 745 MathCursor::idx_type MathCursor::idx() const
 746 {
 747         return cursor().idx_;
 748 }
 749
 750
 751 MathCursor::idx_type & MathCursor::idx()
 752 {
 753         return cursor().idx_;
 754 }
 755
 756
 757 MathCursor::pos_type MathCursor::pos() const
 758 {
 759         return cursor().pos_;
 760 }
 761
 762
 763 MathCursor::pos_type & MathCursor::pos()
 764 {
 765         return cursor().pos_;
 766 }
 767
 768
 769 MathUnknownInset * MathCursor::inMacroMode() const
 770 {
 771         if (pos() == 0)
 772                 return 0;
 773         MathUnknownInset * p = prevAtom()->asUnknownInset();
 774         return (p && !p->final()) ? p : 0;
 775 }
 776
 777
 778 bool MathCursor::inMacroArgMode() const
 779 {
 780         return pos() > 0 && prevAtom()->getChar() == '#';
 781 }
 782
 783
 784 bool MathCursor::selection() const
 785 {
 786         return selection_;
 787 }
 788
 789
 790 MathGridInset * MathCursor::enclosingGrid(MathCursor::idx_type & idx) const
 791 {
 792         for (MathInset::difference_type i = depth() - 1; i >= 0; --i) {
 793                 MathGridInset * p = Cursor_[i].par_->asGridInset();
 794                 if (p) {
 795                         idx = Cursor_[i].idx_;
 796                         return p;
 797                 }
 798         }
 799         return 0;
 800 }
 801
 802
 803 MathHullInset * MathCursor::enclosingHull(MathCursor::idx_type & idx) const
 804 {
 805         for (MathInset::difference_type i = depth() - 1; i >= 0; --i) {
 806                 MathHullInset * p = Cursor_[i].par_->asHullInset();
 807                 if (p) {
 808                         idx = Cursor_[i].idx_;
 809                         return p;
 810                 }
 811         }
 812         return 0;
 813 }
 814
 815
 816 void MathCursor::popToEnclosingGrid()
 817 {
 818         while (depth() && !Cursor_.back().par_->asGridInset())
 819                 Cursor_.pop_back();
 820 }
 821
 822
 823 void MathCursor::popToEnclosingHull()
 824 {
 825         while (depth() && !Cursor_.back().par_->asHullInset())
 826                 Cursor_.pop_back();
 827 }
 828
 829
 830 void MathCursor::pullArg(bool goright)
 831 {
 832         dump("pullarg");
 833         MathArray a = array();
 834
 835         MathScriptInset const * p = par()->asScriptInset();
 836         if (p) {
 837                 // special handling for scripts
 838                 const bool up = p->hasUp();
 839                 popLeft();
 840                 MathScriptInset * q = nextAtom()->asScriptInset();
 841                 if (q)
 842                         q->removeScript(up);
 843                 ++pos();
 844                 array().insert(pos(), a);
 845                 return;
 846         }
 847
 848         if (popLeft()) {
 849                 plainErase();
 850                 array().insert(pos(), a);
 851                 if (goright)
 852                         pos() += a.size();
 853         } else {
 854                 formula()->mutateToText();
 855         }
 856 }
 857
 858
 859 void MathCursor::touch()
 860 {
 861         cursor_type::const_iterator it = Cursor_.begin();
 862         cursor_type::const_iterator et = Cursor_.end();
 863         for ( ; it != et; ++it)
 864                 it->xcell().touch();
 865 }
 866
 867
 868 void MathCursor::normalize()
 869 {
 870 #if 0
 871         // rebreak
 872         {
 873                 MathIterator it = ibegin(formula()->par().nucleus());
 874                 MathIterator et = iend(formula()->par().nucleus());
 875                 for (; it != et; ++it)
 876                         if (it.par()->asBoxInset())
 877                                 it.par()->asBoxInset()->rebreak();
 878         }
 879 #endif
 880
 881         if (idx() >= par()->nargs()) {
 882                 lyxerr << "this should not really happen - 1: "
 883                        << idx() << " " << par()->nargs() << "\n";
 884                 dump("error 2");
 885         }
 886         idx() = min(idx(), par()->nargs() - 1);
 887
 888         if (pos() > size()) {
 889                 lyxerr << "this should not really happen - 2: "
 890                         << pos() << " " << size() <<  " in idx: " << idx()
 891                         << " in atom: '";
 892                 WriteStream wi(lyxerr, false, true);
 893                 par()->write(wi);
 894                 lyxerr << "\n";
 895                 dump("error 4");
 896         }
 897         pos() = min(pos(), size());
 898
 899         // remove empty scripts if possible
 900         if (1) {
 901                 for (pos_type i = 0; i < size(); ++i) {
 902                         MathScriptInset * p = array()[i]->asScriptInset();
 903                         if (p) {
 904                                 p->removeEmptyScripts();
 905                                 //if (p->empty())
 906                                 //      array().erase(i);
 907                         }
 908                 }
 909         }
 910
 911         // fix again position
 912         pos() = min(pos(), size());
 913 }
 914
 915
 916 MathCursor::size_type MathCursor::size() const
 917 {
 918         return array().size();
 919 }
 920
 921
 922 MathCursor::col_type MathCursor::hullCol() const
 923 {
 924         idx_type idx = 0;
 925         MathHullInset * p = enclosingHull(idx);
 926         return p->col(idx);
 927 }
 928
 929
 930 MathCursor::row_type MathCursor::hullRow() const
 931 {
 932         idx_type idx = 0;
 933         MathHullInset * p = enclosingHull(idx);
 934         return p->row(idx);
 935 }
 936
 937
 938 bool MathCursor::hasPrevAtom() const
 939 {
 940         return pos() > 0;
 941 }
 942
 943
 944 bool MathCursor::hasNextAtom() const
 945 {
 946         return pos() < size();
 947 }
 948
 949
 950 MathAtom const & MathCursor::prevAtom() const
 951 {
 952         lyx::Assert(pos() > 0);
 953         return array()[pos() - 1];
 954 }
 955
 956
 957 MathAtom & MathCursor::prevAtom()
 958 {
 959         lyx::Assert(pos() > 0);
 960         return array()[pos() - 1];
 961 }
 962
 963
 964 MathAtom const & MathCursor::nextAtom() const
 965 {
 966         lyx::Assert(pos() < size());
 967         return array()[pos()];
 968 }
 969
 970
 971 MathAtom & MathCursor::nextAtom()
 972 {
 973         lyx::Assert(pos() < size());
 974         return array()[pos()];
 975 }
 976
 977
 978 MathArray & MathCursor::array() const
 979 {
 980         static MathArray dummy;
 981
 982         if (idx() >= par()->nargs()) {
 983                 lyxerr << "############  idx_ " << idx() << " not valid\n";
 984                 return dummy;
 985         }
 986
 987         if (depth() == 0) {
 988                 lyxerr << "############  depth() == 0 not valid\n";
 989                 return dummy;
 990         }
 991
 992         return cursor().cell();
 993 }
 994
 995
 996 MathXArray & MathCursor::xarray() const
 997 {
 998         static MathXArray dummy;
 999
1000         if (depth() == 0) {
1001                 lyxerr << "############  depth() == 0 not valid\n";
1002                 return dummy;
1003         }
1004
1005         return cursor().xcell();
1006 }
1007
1008
1009 void MathCursor::idxNext()
1010 {
1011         par()->idxNext(idx(), pos());
1012 }
1013
1014
1015 void MathCursor::idxPrev()
1016 {
1017         par()->idxPrev(idx(), pos());
1018 }
1019
1020
1021 void MathCursor::splitCell()
1022 {
1023         if (idx() + 1 == par()->nargs())
1024                 return;
1025         MathArray ar = array();
1026         ar.erase(0, pos());
1027         array().erase(pos(), size());
1028         ++idx();
1029         pos() = 0;
1030         array().insert(0, ar);
1031 }
1032
1033
1034 void MathCursor::breakLine()
1035 {
1036         // leave inner cells
1037         while (popRight())
1038                 ;
1039
1040         idx_type dummy;
1041         MathHullInset * p = enclosingHull(dummy);
1042         if (!p)
1043                 return;
1044
1045         if (p->getType() == LM_OT_SIMPLE || p->getType() == LM_OT_EQUATION) {
1046                 p->mutate(LM_OT_EQNARRAY);
1047                 idx() = 1;
1048                 pos() = 0;
1049         } else {
1050                 p->addRow(hullRow());
1051
1052                 // split line
1053                 const row_type r = hullRow();
1054                 for (col_type c = hullCol() + 1; c < p->ncols(); ++c)
1055                         p->cell(p->index(r, c)).swap(p->cell(p->index(r + 1, c)));
1056
1057                 // split cell
1058                 splitCell();
1059                 p->cell(idx()).swap(p->cell(idx() + p->ncols() - 1));
1060         }
1061 }
1062
1063
1064 //void MathCursor::readLine(MathArray & ar) const
1065 //{
1066 //      idx_type base = row() * par()->ncols();
1067 //      for (idx_type off = 0; off < par()->ncols(); ++off)
1068 //              ar.push_back(par()->cell(base + off));
1069 //}
1070
1071
1072 char MathCursor::valign() const
1073 {
1074         idx_type idx;
1075         MathGridInset * p = enclosingGrid(idx);
1076         return p ? p->valign() : '\0';
1077 }
1078
1079
1080 char MathCursor::halign() const
1081 {
1082         idx_type idx;
1083         MathGridInset * p = enclosingGrid(idx);
1084         return p ? p->halign(idx % p->ncols()) : '\0';
1085 }
1086
1087
1088 void MathCursor::getSelection(MathCursorPos & i1, MathCursorPos & i2) const
1089 {
1090         MathCursorPos anc = normalAnchor();
1091         if (anc < cursor()) {
1092                 i1 = anc;
1093                 i2 = cursor();
1094         } else {
1095                 i1 = cursor();
1096                 i2 = anc;
1097         }
1098 }
1099
1100
1101 MathCursorPos & MathCursor::cursor()
1102 {
1103         lyx::Assert(depth());
1104         return Cursor_.back();
1105 }
1106
1107
1108 MathCursorPos const & MathCursor::cursor() const
1109 {
1110         lyx::Assert(depth());
1111         return Cursor_.back();
1112 }
1113
1114
1115 bool MathCursor::goUpDown(bool up)
1116 {
1117         // Be warned: The 'logic' implemented in this function is highly fragile.
1118         // A distance of one pixel or a '<' vs '<=' _really_ matters.
1119         // So fiddle around with it only if you know what you are doing!
1120         int xlow, xhigh, ylow, yhigh;
1121
1122   int xo, yo;
1123         getPos(xo, yo);
1124
1125         // check if we had something else in mind, if not, this is the future goal
1126         if (targetx_ == -1)
1127                 targetx_ = xo;
1128         else
1129                 xo = targetx_;
1130
1131         // try neigbouring script insets
1132         // try left
1133         if (hasPrevAtom()) {
1134                 MathScriptInset * p = prevAtom()->asScriptInset();
1135                 if (p && p->has(up)) {
1136                         --pos();
1137                         push(nextAtom());
1138                         idx() = up; // the superscript has index 1
1139                         pos() = size();
1140                         ///lyxerr << "updown: handled by scriptinset to the left\n";
1141                         return true;
1142                 }
1143         }
1144
1145         // try right
1146         if (hasNextAtom()) {
1147                 MathScriptInset * p = nextAtom()->asScriptInset();
1148                 if (p && p->has(up)) {
1149                         push(nextAtom());
1150                         idx() = up;
1151                         pos() = 0;
1152                         ///lyxerr << "updown: handled by scriptinset to the right\n";
1153                         return true;
1154                 }
1155         }
1156
1157         // try current cell
1158         //xarray().boundingBox(xlow, xhigh, ylow, yhigh);
1159         //if (up)
1160         //      yhigh = yo - 4;
1161         //else
1162         //      ylow = yo + 4;
1163         //if (bruteFind(xo, yo, xlow, xhigh, ylow, yhigh)) {
1164         //      lyxerr << "updown: handled by brute find in the same cell\n";
1165         //      return true;
1166         //}
1167
1168         // try to find an inset that knows better then we
1169         while (1) {
1170                 ///lyxerr << "updown: We are in " << *par() << " idx: " << idx() << '\n';
1171                 // ask inset first
1172                 if (par()->idxUpDown(idx(), up)) {
1173                         // we found a cell that thinks it has something "below" us.
1174                         ///lyxerr << "updown: found inset that handles UpDown\n";
1175                         xarray().boundingBox(xlow, xhigh, ylow, yhigh);
1176                         // project (xo,yo) onto proper box
1177                         ///lyxerr << "\n   xo: " << xo << " yo: " << yo
1178                         ///       << "\n   xlow: " << xlow << " ylow: " << ylow
1179                         ///       << "\n   xhigh: " << xhigh << " yhigh: " << yhigh;
1180                         xo = min(max(xo, xlow), xhigh);
1181                         yo = min(max(yo, ylow), yhigh);
1182                         ///lyxerr << "\n   xo2: " << xo << " yo2: " << yo << "\n";
1183                         bruteFind(xo, yo, xlow, xhigh, ylow, yhigh);
1184                         ///lyxerr << "updown: handled by final brute find\n";
1185                         return true;
1186                 }
1187
1188                 // leave inset
1189                 if (!popLeft()) {
1190                         // no such inset found, just take something "above"
1191                         ///lyxerr << "updown: handled by strange case\n";
1192                         return
1193                                 bruteFind(xo, yo,
1194                                         formula()->xlow(),
1195                                         formula()->xhigh(),
1196                                         up ? formula()->ylow() : yo + 4,
1197                                         up ? yo - 4 : formula()->yhigh()
1198                                 );
1199                 }
1200
1201                 // any improvement so far?
1202                 int xnew, ynew;
1203                 getPos(xnew, ynew);
1204                 if (up ? ynew < yo : ynew > yo)
1205                         return true;
1206         }
1207 }
1208
1209
1210 bool MathCursor::bruteFind
1211         (int x, int y, int xlow, int xhigh, int ylow, int yhigh)
1212 {
1213         cursor_type best_cursor;
1214         double best_dist = 1e10;
1215
1216         MathIterator it = ibegin(formula()->par().nucleus());
1217         MathIterator et = iend(formula()->par().nucleus());
1218         while (1) {
1219                 // avoid invalid nesting when selecting
1220                 if (!selection_ || positionable(it.cursor(), Anchor_)) {
1221                         MathCursorPos const & top = it.position();
1222                         int xo = top.xpos();
1223                         int yo = top.ypos();
1224                         if (xlow <= xo && xo <= xhigh && ylow <= yo && yo <= yhigh) {
1225                                 double d = (x - xo) * (x - xo) + (y - yo) * (y - yo);
1226                                 // '<=' in order to take the last possible position
1227                                 // this is important for clicking behind \sum in e.g. '\sum_i a'
1228                                 if (d <= best_dist) {
1229                                         best_dist   = d;
1230                                         best_cursor = it.cursor();
1231                                 }
1232                         }
1233                 }
1234
1235                 if (it == et)
1236                         break;
1237                 ++it;
1238         }
1239
1240         if (best_dist < 1e10)
1241                 Cursor_ = best_cursor;
1242         return best_dist < 1e10;
1243 }
1244
1245
1246 bool MathCursor::idxLineFirst()
1247 {
1248         idx() -= idx() % par()->ncols();
1249         pos() = 0;
1250         return true;
1251 }
1252
1253
1254 bool MathCursor::idxLineLast()
1255 {
1256         idx() -= idx() % par()->ncols();
1257         idx() += par()->ncols() - 1;
1258         pos() = size();
1259         return true;
1260 }
1261
1262 bool MathCursor::idxLeft()
1263 {
1264         return par()->idxLeft(idx(), pos());
1265 }
1266
1267
1268 bool MathCursor::idxRight()
1269 {
1270         return par()->idxRight(idx(), pos());
1271 }
1272
1273
1274 bool MathCursor::interpret(string const & s)
1275 {
1276         //lyxerr << "interpret 1: '" << s << "'\n";
1277         if (s.empty())
1278                 return true;
1279
1280         //lyxerr << "char: '" << s[0] << "'  int: " << int(s[0]) << endl;
1281         //owner_->getIntl()->getTransManager().TranslateAndInsert(s[0], lt);
1282         //lyxerr << "trans: '" << s[0] << "'  int: " << int(s[0]) << endl;
1283
1284         if (s.size() >= 5 && s.substr(0, 5) == "cases") {
1285                 unsigned int n = 1;
1286                 istringstream is(s.substr(5).c_str());
1287                 is >> n;
1288                 n = max(1u, n);
1289                 niceInsert(MathAtom(new MathCasesInset(n)));
1290                 return true;
1291         }
1292
1293         if (s.size() >= 6 && s.substr(0, 6) == "matrix") {
1294                 unsigned int m = 1;
1295                 unsigned int n = 1;
1296                 string v_align;
1297                 string h_align;
1298                 istringstream is(s.substr(6).c_str());
1299                 is >> m >> n >> v_align >> h_align;
1300                 m = max(1u, m);
1301                 n = max(1u, n);
1302                 v_align += 'c';
1303                 niceInsert(MathAtom(new MathArrayInset("array", m, n, v_align[0], h_align)));
1304                 return true;
1305         }
1306
1307         if (s.size() >= 7 && s.substr(0, 7) == "replace") {
1308                 ReplaceData rep;
1309                 istringstream is(s.substr(7).c_str());
1310                 string from, to;
1311                 is >> from >> to;
1312                 mathed_parse_cell(rep.from, from);
1313                 mathed_parse_cell(rep.to, to);
1314                 lyxerr << "replacing '" << from << "' with '" << to << "'\n";
1315                 par()->replace(rep);
1316                 return true;
1317         }
1318
1319         string name = s.substr(1);
1320
1321         if (name == "over" || name == "choose" || name == "atop") {
1322                 MathArray ar = array();
1323                 MathAtom t(createMathInset(name));
1324                 t->asNestInset()->cell(0).swap(array());
1325                 pos() = 0;
1326                 niceInsert(t);
1327                 popRight();
1328                 left();
1329                 return true;
1330         }
1331
1332         // prevent entering of recursive macros
1333         if (formula()->lyxCode() == Inset::MATHMACRO_CODE
1334                 && formula()->getInsetName() == name)
1335         {
1336                 lyxerr << "can't enter recursive macro\n";
1337                 return true;
1338         }
1339
1340         niceInsert(createMathInset(name));
1341         return true;
1342 }
1343
1344
1345 bool MathCursor::script(bool up)
1346 {
1347         // Hack to get \\^ and \\_ working
1348         if (inMacroMode() && macroName() == "\\") {
1349                 if (up)
1350                         interpret("\\mathcircumflex");
1351                 else
1352                         interpret('_');
1353                 return true;
1354         }
1355
1356         macroModeClose();
1357         MathGridInset safe = grabAndEraseSelection();
1358         if (hasPrevAtom() && prevAtom()->asScriptInset()) {
1359                 prevAtom()->asScriptInset()->ensure(up);
1360                 pushRight(prevAtom());
1361                 idx() = up;
1362                 pos() = size();
1363         } else if (hasNextAtom() && nextAtom()->asScriptInset()) {
1364                 nextAtom()->asScriptInset()->ensure(up);
1365                 pushLeft(nextAtom());
1366                 idx() = up;
1367                 pos() = 0;
1368         } else {
1369                 plainInsert(MathAtom(new MathScriptInset(up)));
1370                 prevAtom()->asScriptInset()->ensure(up);
1371                 pushRight(prevAtom());
1372                 idx() = up;
1373                 pos() = 0;
1374         }
1375         paste(safe);
1376         dump("1");
1377         return true;
1378 }
1379
1380
1381 bool MathCursor::inMathMode() const
1382 {
1383         if (par()->asBoxInset())
1384                 return false;
1385         if (par()->asFboxInset())
1386                 return false;
1387         if (par()->asParInset())
1388                 return false;
1389         return true;
1390 }
1391
1392
1393 bool MathCursor::interpret(char c)
1394 {
1395         //lyxerr << "interpret 2: '" << c << "'\n";
1396         targetx_ = -1; // "no target"
1397         if (inMacroArgMode()) {
1398                 --pos();
1399                 plainErase();
1400                 int n = c - '0';
1401                 MathMacroTemplate * p = formula()->par()->asMacroTemplate();
1402                 if (p && 1 <= n && n <= p->numargs())
1403                         insert(MathAtom(new MathMacroArgument(c - '0')));
1404                 else {
1405                         insert(createMathInset("#"));
1406                         interpret(c); // try again
1407                 }
1408                 return true;
1409         }
1410
1411         // handle macroMode
1412         if (inMacroMode()) {
1413                 string name = macroName();
1414                 //lyxerr << "interpret name: '" << name << "'\n";
1415
1416                 if (name.empty() && c == '\\') {
1417                         backspace();
1418                         interpret("\\backslash");
1419                         return true;
1420                 }
1421
1422                 if (isalpha(c)) {
1423                         inMacroMode()->name() += c;
1424                         return true;
1425                 }
1426
1427                 // handle 'special char' macros
1428                 if (name == "\\") {
1429                         // remove the '\\'
1430                         backspace();
1431                         if (c == '\\')
1432                                 interpret("\\backslash");
1433                         else
1434                                 interpret(string("\\") + c);
1435                         return true;
1436                 }
1437
1438                 // leave macro mode and try again if necessary
1439                 macroModeClose();
1440                 if (c != ' ')
1441                         interpret(c);
1442                 return true;
1443         }
1444
1445         // leave autocorrect mode if necessary
1446         if (autocorrect_ && c == ' ') {
1447                 autocorrect_ = false;
1448                 return true;
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 (pos() > 0)
1578         //      prevAtom()->infoize(os);
1579         os << "                ";
1580         return os.str().c_str(); // .c_str() needed for lyxstring
1581 }
1582
1583
1584 unsigned MathCursor::depth() const
1585 {
1586         return Cursor_.size();
1587 }
1588
1589
1590
1591
1592 namespace {
1593
1594 void region(MathCursorPos const & i1, MathCursorPos const & i2,
1595         MathInset::row_type & r1, MathInset::row_type & r2,
1596         MathInset::col_type & c1, MathInset::col_type & c2)
1597 {
1598         MathInset * p = i1.par_;
1599         c1 = p->col(i1.idx_);
1600         c2 = p->col(i2.idx_);
1601         if (c1 > c2)
1602                 swap(c1, c2);
1603         r1 = p->row(i1.idx_);
1604         r2 = p->row(i2.idx_);
1605         if (r1 > r2)
1606                 swap(r1, r2);
1607 }
1608
1609 }
1610
1611
1612 MathGridInset MathCursor::grabSelection() const
1613 {
1614         if (!selection_)
1615                 return MathGridInset();
1616         MathCursorPos i1;
1617         MathCursorPos i2;
1618         getSelection(i1, i2);
1619         // shouldn't we assert on i1.par_ == i2.par_?
1620         if (i1.idx_ == i2.idx_) {
1621                 MathGridInset data(1, 1);
1622                 data.cell(0) = MathArray(i1.cell(), i1.pos_, i2.pos_);
1623                 return data;
1624         }
1625         row_type r1, r2;
1626         col_type c1, c2;
1627         region(i1, i2, r1, r2, c1, c2);
1628         MathGridInset data(c2 - c1 + 1, r2 - r1 + 1);
1629         for (row_type row = 0; row < data.nrows(); ++row)
1630                 for (col_type col = 0; col < data.ncols(); ++col) {
1631                         idx_type i = i1.par_->index(row + r1, col + c1);
1632                         data.cell(data.index(row, col)) = i1.par_->cell(i);
1633                 }
1634         return data;
1635 }
1636
1637
1638 void MathCursor::eraseSelection()
1639 {
1640         MathCursorPos i1;
1641         MathCursorPos i2;
1642         getSelection(i1, i2);
1643         if (i1.idx_ == i2.idx_)
1644                 i1.cell().erase(i1.pos_, i2.pos_);
1645         else {
1646                 MathInset * p = i1.par_;
1647                 row_type r1, r2;
1648                 col_type c1, c2;
1649                 region(i1, i2, r1, r2, c1, c2);
1650                 for (row_type row = r1; row <= r2; ++row)
1651                         for (col_type col = c1; col <= c2; ++col)
1652                                 p->cell(p->index(row, col)).erase();
1653         }
1654         cursor() = i1;
1655 }
1656
1657
1658 MathGridInset MathCursor::grabAndEraseSelection()
1659 {
1660         if (!selection_)
1661                 return MathGridInset();
1662         MathGridInset res = grabSelection();
1663         eraseSelection();
1664         selection_ = false;
1665         return res;
1666 }
1667
1668
1669 MathCursorPos MathCursor::normalAnchor() const
1670 {
1671         if (Anchor_.size() < depth()) {
1672                 Anchor_ = Cursor_;
1673                 lyxerr << "unusual Anchor size\n";
1674         }
1675         //lyx::Assert(Anchor_.size() >= cursor.depth());
1676         // use Anchor on the same level as Cursor
1677         MathCursorPos normal = Anchor_[depth() - 1];
1678         if (depth() < Anchor_.size() && !(normal < cursor())) {
1679                 // anchor is behind cursor -> move anchor behind the inset
1680                 ++normal.pos_;
1681         }
1682         return normal;
1683 }
1684
1685
1686
1687 void MathCursor::handleExtern(const string & arg)
1688 {
1689         string lang;
1690         string extra;
1691         istringstream iss(arg.c_str());
1692         iss >> lang >> extra;
1693         if (extra.empty())
1694                 extra = "noextra";
1695
1696
1697         if (selection()) {
1698                 MathArray ar;
1699                 selGet(ar);
1700                 lyxerr << "use selection: " << ar << "\n";
1701                 insert(pipeThroughExtern(lang, extra, ar));
1702                 return;
1703         }
1704
1705         MathArray eq;
1706         eq.push_back(MathAtom(new MathCharInset('=')));
1707
1708         popToEnclosingHull();
1709
1710         idx_type idx = 0;
1711         MathHullInset * hull = enclosingHull(idx);
1712         lyx::Assert(hull);
1713         idxLineFirst();
1714
1715         if (hull->getType() == LM_OT_SIMPLE) {
1716                 MathArray::size_type pos = cursor().cell().find_last(eq);
1717                 MathArray ar;
1718                 if (pos == size()) {
1719                         ar = array();
1720                         lyxerr << "use whole cell: " << ar << "\n";
1721                 } else {
1722                         ar = MathArray(array(), pos + 1, size());
1723                         lyxerr << "use partial cell form pos: " << pos << "\n";
1724                 }
1725                 end();
1726                 insert(eq);
1727                 insert(pipeThroughExtern(lang, extra, ar));
1728                 return;
1729         }
1730
1731         if (hull->getType() == LM_OT_EQUATION) {
1732                 lyxerr << "use equation inset\n";
1733                 hull->mutate(LM_OT_EQNARRAY);
1734                 MathArray & ar = cursor().cell();
1735                 lyxerr << "use cell: " << ar << "\n";
1736                 idxRight();
1737                 cursor().cell() = eq;
1738                 idxRight();
1739                 cursor().cell() = pipeThroughExtern(lang, extra, ar);
1740                 idxLineLast();
1741                 return;
1742         }
1743
1744         {
1745                 lyxerr << "use eqnarray\n";
1746                 idxLineLast();
1747                 MathArray ar = cursor().cell();
1748                 lyxerr << "use cell: " << ar << "\n";
1749                 breakLine();
1750                 idxRight();
1751                 cursor().cell() = eq;
1752                 idxRight();
1753                 cursor().cell() = pipeThroughExtern(lang, extra, ar);
1754                 idxLineLast();
1755         }
1756
1757 }
1758
1759
1760 int MathCursor::dispatch(string const & cmd)
1761 {
1762         for (int i = Cursor_.size() - 1; i >= 0; --i) {
1763                 MathCursorPos & pos = Cursor_[i];
1764                 if (int res = pos.par_-> dispatch(cmd, pos.idx_, pos.pos_))
1765                         return res;
1766         }
1767         return 0;
1768 }