src/BufferView.cpp

   1 /**
   2  * \file BufferView.cpp
   3  * This file is part of LyX, the document processor.
   4  * Licence details can be found in the file COPYING.
   5  *
   6  * \author Alfredo Braunstein
   7  * \author Lars Gullik Bjønnes
   8  * \author John Levon
   9  * \author André Pönitz
  10  * \author Jürgen Vigna
  11  *
  12  * Full author contact details are available in file CREDITS.
  13  */
  14
  15 #include <config.h>
  16
  17 #include "BufferView.h"
  18
  19 #include "BranchList.h"
  20 #include "Buffer.h"
  21 #include "buffer_funcs.h"
  22 #include "BufferList.h"
  23 #include "BufferParams.h"
  24 #include "CoordCache.h"
  25 #include "Cursor.h"
  26 #include "CutAndPaste.h"
  27 #include "DispatchResult.h"
  28 #include "ErrorList.h"
  29 #include "factory.h"
  30 #include "FloatList.h"
  31 #include "FuncRequest.h"
  32 #include "FuncStatus.h"
  33 #include "Intl.h"
  34 #include "InsetIterator.h"
  35 #include "Language.h"
  36 #include "LaTeXFeatures.h"
  37 #include "LyX.h"
  38 #include "lyxfind.h"
  39 #include "LyXFunc.h"
  40 #include "Layout.h"
  41 #include "LyXRC.h"
  42 #include "MetricsInfo.h"
  43 #include "Paragraph.h"
  44 #include "ParagraphParameters.h"
  45 #include "ParIterator.h"
  46 #include "Session.h"
  47 #include "Text.h"
  48 #include "TextClass.h"
  49 #include "TextMetrics.h"
  50 #include "TexRow.h"
  51 #include "TocBackend.h"
  52 #include "VSpace.h"
  53 #include "WordLangTuple.h"
  54
  55 #include "insets/InsetBibtex.h"
  56 #include "insets/InsetCommand.h" // ChangeRefs
  57 #include "insets/InsetExternal.h"
  58 #include "insets/InsetGraphics.h"
  59 #include "insets/InsetRef.h"
  60 #include "insets/InsetText.h"
  61 #include "insets/InsetNote.h"
  62
  63 #include "frontends/alert.h"
  64 #include "frontends/Application.h"
  65 #include "frontends/Delegates.h"
  66 #include "frontends/FontMetrics.h"
  67 #include "frontends/Painter.h"
  68 #include "frontends/Selection.h"
  69
  70 #include "graphics/Previews.h"
  71
  72 #include "support/convert.h"
  73 #include "support/debug.h"
  74 #include "support/ExceptionMessage.h"
  75 #include "support/filetools.h"
  76 #include "support/gettext.h"
  77 #include "support/lstrings.h"
  78 #include "support/Package.h"
  79 #include "support/types.h"
  80
  81 #include <cerrno>
  82 #include <fstream>
  83 #include <functional>
  84 #include <iterator>
  85 #include <vector>
  86
  87 using namespace std;
  88 using namespace lyx::support;
  89
  90 namespace lyx {
  91
  92 namespace Alert = frontend::Alert;
  93
  94 namespace {
  95
  96 /// Return an inset of this class if it exists at the current cursor position
  97 template <class T>
  98 T * getInsetByCode(Cursor const & cur, InsetCode code)
  99 {
 100         DocIterator it = cur;
 101         Inset * inset = it.nextInset();
 102         if (inset && inset->lyxCode() == code)
 103                 return static_cast<T*>(inset);
 104         return 0;
 105 }
 106
 107
 108 bool findInset(DocIterator & dit, vector<InsetCode> const & codes,
 109         bool same_content);
 110
 111 bool findNextInset(DocIterator & dit, vector<InsetCode> const & codes,
 112         docstring const & contents)
 113 {
 114         DocIterator tmpdit = dit;
 115
 116         while (tmpdit) {
 117                 Inset const * inset = tmpdit.nextInset();
 118                 if (inset
 119                     && std::find(codes.begin(), codes.end(), inset->lyxCode()) != codes.end()
 120                     && (contents.empty() ||
 121                     static_cast<InsetCommand const *>(inset)->getFirstNonOptParam() == contents)) {
 122                         dit = tmpdit;
 123                         return true;
 124                 }
 125                 tmpdit.forwardInset();
 126         }
 127
 128         return false;
 129 }
 130
 131
 132 /// Looks for next inset with one of the given codes.
 133 bool findInset(DocIterator & dit, vector<InsetCode> const & codes,
 134         bool same_content)
 135 {
 136         docstring contents;
 137         DocIterator tmpdit = dit;
 138         tmpdit.forwardInset();
 139         if (!tmpdit)
 140                 return false;
 141
 142         if (same_content) {
 143                 Inset const * inset = tmpdit.nextInset();
 144                 if (inset
 145                     && std::find(codes.begin(), codes.end(), inset->lyxCode()) != codes.end()) {
 146                         contents = static_cast<InsetCommand const *>(inset)->getFirstNonOptParam();
 147                 }
 148         }
 149
 150         if (!findNextInset(tmpdit, codes, contents)) {
 151                 if (dit.depth() != 1 || dit.pit() != 0 || dit.pos() != 0) {
 152                         Inset * inset = &tmpdit.bottom().inset();
 153                         tmpdit = doc_iterator_begin(&inset->buffer(), inset);
 154                         if (!findNextInset(tmpdit, codes, contents))
 155                                 return false;
 156                 } else {
 157                         return false;
 158                 }
 159         }
 160
 161         dit = tmpdit;
 162         return true;
 163 }
 164
 165
 166 /// Looks for next inset with the given code
 167 void findInset(DocIterator & dit, InsetCode code, bool same_content)
 168 {
 169         findInset(dit, vector<InsetCode>(1, code), same_content);
 170 }
 171
 172
 173 /// Moves cursor to the next inset with one of the given codes.
 174 void gotoInset(BufferView * bv, vector<InsetCode> const & codes,
 175                bool same_content)
 176 {
 177         Cursor tmpcur = bv->cursor();
 178         if (!findInset(tmpcur, codes, same_content)) {
 179                 bv->cursor().message(_("No more insets"));
 180                 return;
 181         }
 182
 183         tmpcur.clearSelection();
 184         bv->setCursor(tmpcur);
 185         bv->showCursor();
 186 }
 187
 188
 189 /// Moves cursor to the next inset with given code.
 190 void gotoInset(BufferView * bv, InsetCode code, bool same_content)
 191 {
 192         gotoInset(bv, vector<InsetCode>(1, code), same_content);
 193 }
 194
 195
 196 /// A map from a Text to the associated text metrics
 197 typedef map<Text const *, TextMetrics> TextMetricsCache;
 198
 199 enum ScreenUpdateStrategy {
 200         NoScreenUpdate,
 201         SingleParUpdate,
 202         FullScreenUpdate,
 203         DecorationUpdate
 204 };
 205
 206 } // anon namespace
 207
 208
 209 /////////////////////////////////////////////////////////////////////
 210 //
 211 // BufferView
 212 //
 213 /////////////////////////////////////////////////////////////////////
 214
 215 struct BufferView::Private
 216 {
 217         Private(BufferView & bv): wh_(0), cursor_(bv),
 218                 anchor_pit_(0), anchor_ypos_(0),
 219                 inlineCompletionUniqueChars_(0),
 220                 last_inset_(0), bookmark_edit_position_(0), gui_(0)
 221         {}
 222
 223         ///
 224         ScrollbarParameters scrollbarParameters_;
 225         ///
 226         ScreenUpdateStrategy update_strategy_;
 227         ///
 228         CoordCache coord_cache_;
 229
 230         /// Estimated average par height for scrollbar.
 231         int wh_;
 232         /// this is used to handle XSelection events in the right manner.
 233         struct {
 234                 CursorSlice cursor;
 235                 CursorSlice anchor;
 236                 bool set;
 237         } xsel_cache_;
 238         ///
 239         Cursor cursor_;
 240         ///
 241         pit_type anchor_pit_;
 242         ///
 243         int anchor_ypos_;
 244         ///
 245         vector<int> par_height_;
 246
 247         ///
 248         DocIterator inlineCompletionPos_;
 249         ///
 250         docstring inlineCompletion_;
 251         ///
 252         size_t inlineCompletionUniqueChars_;
 253
 254         /// keyboard mapping object.
 255         Intl intl_;
 256
 257         /// last visited inset.
 258         /** kept to send setMouseHover(false).
 259           * Not owned, so don't delete.
 260           */
 261         Inset * last_inset_;
 262
 263         // cache for id of the paragraph which was edited the last time
 264         int bookmark_edit_position_;
 265
 266         mutable TextMetricsCache text_metrics_;
 267
 268         /// Whom to notify.
 269         /** Not owned, so don't delete.
 270           */
 271         frontend::GuiBufferViewDelegate * gui_;
 272
 273         /// Cache for Find Next
 274         FuncRequest search_request_cache_;
 275 };
 276
 277
 278 BufferView::BufferView(Buffer & buf)
 279         : width_(0), height_(0), full_screen_(false), buffer_(buf),
 280       d(new Private(*this))
 281 {
 282         d->xsel_cache_.set = false;
 283         d->intl_.initKeyMapper(lyxrc.use_kbmap);
 284
 285         d->cursor_.setBuffer(&buf);
 286         d->cursor_.push(buffer_.inset());
 287         d->cursor_.resetAnchor();
 288         d->cursor_.setCurrentFont();
 289
 290         if (graphics::Previews::status() != LyXRC::PREVIEW_OFF)
 291                 thePreviews().generateBufferPreviews(buffer_);
 292 }
 293
 294
 295 BufferView::~BufferView()
 296 {
 297         // current buffer is going to be switched-off, save cursor pos
 298         // Ideally, the whole cursor stack should be saved, but session
 299         // currently can only handle bottom (whole document) level pit and pos.
 300         // That is to say, if a cursor is in a nested inset, it will be
 301         // restore to the left of the top level inset.
 302         LastFilePosSection::FilePos fp;
 303         fp.pit = d->cursor_.bottom().pit();
 304         fp.pos = d->cursor_.bottom().pos();
 305         theSession().lastFilePos().save(buffer_.fileName(), fp);
 306
 307         delete d;
 308 }
 309
 310
 311 int BufferView::rightMargin() const
 312 {
 313         // The additional test for the case the outliner is opened.
 314         if (!full_screen_ ||
 315                 !lyxrc.full_screen_limit ||
 316                 width_ < lyxrc.full_screen_width + 20)
 317                         return 10;
 318
 319         return (width_ - lyxrc.full_screen_width) / 2;
 320 }
 321
 322
 323 int BufferView::leftMargin() const
 324 {
 325         return rightMargin();
 326 }
 327
 328
 329 bool BufferView::isTopScreen() const
 330 {
 331         return d->scrollbarParameters_.position == d->scrollbarParameters_.min;
 332 }
 333
 334
 335 bool BufferView::isBottomScreen() const
 336 {
 337         return d->scrollbarParameters_.position == d->scrollbarParameters_.max;
 338 }
 339
 340
 341 Intl & BufferView::getIntl()
 342 {
 343         return d->intl_;
 344 }
 345
 346
 347 Intl const & BufferView::getIntl() const
 348 {
 349         return d->intl_;
 350 }
 351
 352
 353 CoordCache & BufferView::coordCache()
 354 {
 355         return d->coord_cache_;
 356 }
 357
 358
 359 CoordCache const & BufferView::coordCache() const
 360 {
 361         return d->coord_cache_;
 362 }
 363
 364
 365 Buffer & BufferView::buffer()
 366 {
 367         return buffer_;
 368 }
 369
 370
 371 Buffer const & BufferView::buffer() const
 372 {
 373         return buffer_;
 374 }
 375
 376
 377 bool BufferView::fitCursor()
 378 {
 379         if (cursorStatus(d->cursor_) == CUR_INSIDE) {
 380                 frontend::FontMetrics const & fm =
 381                         theFontMetrics(d->cursor_.getFont().fontInfo());
 382                 int const asc = fm.maxAscent();
 383                 int const des = fm.maxDescent();
 384                 Point const p = getPos(d->cursor_, d->cursor_.boundary());
 385                 if (p.y_ - asc >= 0 && p.y_ + des < height_)
 386                         return false;
 387         }
 388         return true;
 389 }
 390
 391
 392 void BufferView::processUpdateFlags(Update::flags flags)
 393 {
 394         // last_inset_ points to the last visited inset. This pointer may become
 395         // invalid because of keyboard editing. Since all such operations
 396         // causes screen update(), I reset last_inset_ to avoid such a problem.
 397         d->last_inset_ = 0;
 398         // This is close to a hot-path.
 399         LYXERR(Debug::DEBUG, "BufferView::processUpdateFlags()"
 400                 << "[fitcursor = " << (flags & Update::FitCursor)
 401                 << ", forceupdate = " << (flags & Update::Force)
 402                 << ", singlepar = " << (flags & Update::SinglePar)
 403                 << "]  buffer: " << &buffer_);
 404
 405         buffer_.updateMacros();
 406
 407         // Now do the first drawing step if needed. This consists on updating
 408         // the CoordCache in updateMetrics().
 409         // The second drawing step is done in WorkArea::redraw() if needed.
 410
 411         // Case when no explicit update is requested.
 412         if (!flags) {
 413                 // no need to redraw anything.
 414                 d->update_strategy_ = NoScreenUpdate;
 415                 return;
 416         }
 417
 418         if (flags == Update::Decoration) {
 419                 d->update_strategy_ = DecorationUpdate;
 420                 buffer_.changed();
 421                 return;
 422         }
 423
 424         if (flags == Update::FitCursor
 425                 || flags == (Update::Decoration | Update::FitCursor)) {
 426                 // tell the frontend to update the screen if needed.
 427                 if (fitCursor()) {
 428                         showCursor();
 429                         return;
 430                 }
 431                 if (flags & Update::Decoration) {
 432                         d->update_strategy_ = DecorationUpdate;
 433                         buffer_.changed();
 434                         return;
 435                 }
 436                 // no screen update is needed.
 437                 d->update_strategy_ = NoScreenUpdate;
 438                 return;
 439         }
 440
 441         bool const full_metrics = flags & Update::Force || !singleParUpdate();
 442
 443         if (full_metrics)
 444                 // We have to update the full screen metrics.
 445                 updateMetrics();
 446
 447         if (!(flags & Update::FitCursor)) {
 448                 // Nothing to do anymore. Trigger a redraw and return
 449                 buffer_.changed();
 450                 return;
 451         }
 452
 453         // updateMetrics() does not update paragraph position
 454         // This is done at draw() time. So we need a redraw!
 455         buffer_.changed();
 456
 457         if (fitCursor()) {
 458                 // The cursor is off screen so ensure it is visible.
 459                 // refresh it:
 460                 showCursor();
 461         }
 462 }
 463
 464
 465 void BufferView::updateScrollbar()
 466 {
 467         if (height_ == 0 && width_ == 0)
 468                 return;
 469
 470         // We prefer fixed size line scrolling.
 471         d->scrollbarParameters_.single_step = defaultRowHeight();
 472         // We prefer full screen page scrolling.
 473         d->scrollbarParameters_.page_step = height_;
 474
 475         Text & t = buffer_.text();
 476         TextMetrics & tm = d->text_metrics_[&t];
 477
 478         LYXERR(Debug::GUI, " Updating scrollbar: height: "
 479                 << t.paragraphs().size()
 480                 << " curr par: " << d->cursor_.bottom().pit()
 481                 << " default height " << defaultRowHeight());
 482
 483         size_t const parsize = t.paragraphs().size();
 484         if (d->par_height_.size() != parsize) {
 485                 d->par_height_.clear();
 486                 // FIXME: We assume a default paragraph height of 2 rows. This
 487                 // should probably be pondered with the screen width.
 488                 d->par_height_.resize(parsize, defaultRowHeight() * 2);
 489         }
 490
 491         // Look at paragraph heights on-screen
 492         pair<pit_type, ParagraphMetrics const *> first = tm.first();
 493         pair<pit_type, ParagraphMetrics const *> last = tm.last();
 494         for (pit_type pit = first.first; pit <= last.first; ++pit) {
 495                 d->par_height_[pit] = tm.parMetrics(pit).height();
 496                 LYXERR(Debug::SCROLLING, "storing height for pit " << pit << " : "
 497                         << d->par_height_[pit]);
 498         }
 499
 500         int top_pos = first.second->position() - first.second->ascent();
 501         int bottom_pos = last.second->position() + last.second->descent();
 502         bool first_visible = first.first == 0 && top_pos >= 0;
 503         bool last_visible = last.first + 1 == int(parsize) && bottom_pos <= height_;
 504         if (first_visible && last_visible) {
 505                 d->scrollbarParameters_.min = 0;
 506                 d->scrollbarParameters_.max = 0;
 507                 return;
 508         }
 509
 510         d->scrollbarParameters_.min = top_pos;
 511         for (size_t i = 0; i != size_t(first.first); ++i)
 512                 d->scrollbarParameters_.min -= d->par_height_[i];
 513         d->scrollbarParameters_.max = bottom_pos;
 514         for (size_t i = last.first + 1; i != parsize; ++i)
 515                 d->scrollbarParameters_.max += d->par_height_[i];
 516
 517         d->scrollbarParameters_.position = 0;
 518         // The reference is the top position so we remove one page.
 519         if (lyxrc.scroll_below_document)
 520                 d->scrollbarParameters_.max -= minVisiblePart();
 521         else
 522                 d->scrollbarParameters_.max -= d->scrollbarParameters_.page_step;
 523 }
 524
 525
 526 ScrollbarParameters const & BufferView::scrollbarParameters() const
 527 {
 528         return d->scrollbarParameters_;
 529 }
 530
 531
 532 docstring BufferView::toolTip(int x, int y) const
 533 {
 534         // Get inset under mouse, if there is one.
 535         Inset const * covering_inset = getCoveringInset(buffer_.text(), x, y);
 536         if (!covering_inset)
 537                 // No inset, no tooltip...
 538                 return docstring();
 539         return covering_inset->toolTip(*this, x, y);
 540 }
 541
 542
 543 docstring BufferView::contextMenu(int x, int y) const
 544 {
 545         //If there is a selection, return the containing inset menu
 546         if (d->cursor_.selection())
 547                 return d->cursor_.inset().contextMenu(*this, x, y);
 548
 549         // Get inset under mouse, if there is one.
 550         Inset const * covering_inset = getCoveringInset(buffer_.text(), x, y);
 551         if (covering_inset)
 552                 return covering_inset->contextMenu(*this, x, y);
 553
 554         return buffer_.inset().contextMenu(*this, x, y);
 555 }
 556
 557
 558 void BufferView::scrollDocView(int value)
 559 {
 560         int const offset = value - d->scrollbarParameters_.position;
 561
 562         // No scrolling at all? No need to redraw anything
 563         if (offset == 0)
 564                 return;
 565
 566         // If the offset is less than 2 screen height, prefer to scroll instead.
 567         if (abs(offset) <= 2 * height_) {
 568                 d->anchor_ypos_ -= offset;
 569                 updateMetrics();
 570                 buffer_.changed();
 571                 return;
 572         }
 573
 574         // cut off at the top
 575         if (value <= d->scrollbarParameters_.min) {
 576                 DocIterator dit = doc_iterator_begin(&buffer_);
 577                 showCursor(dit);
 578                 LYXERR(Debug::SCROLLING, "scroll to top");
 579                 return;
 580         }
 581
 582         // cut off at the bottom
 583         if (value >= d->scrollbarParameters_.max) {
 584                 DocIterator dit = doc_iterator_end(&buffer_);
 585                 dit.backwardPos();
 586                 showCursor(dit);
 587                 LYXERR(Debug::SCROLLING, "scroll to bottom");
 588                 return;
 589         }
 590
 591         // find paragraph at target position
 592         int par_pos = d->scrollbarParameters_.min;
 593         pit_type i = 0;
 594         for (; i != int(d->par_height_.size()); ++i) {
 595                 par_pos += d->par_height_[i];
 596                 if (par_pos >= value)
 597                         break;
 598         }
 599
 600         if (par_pos < value) {
 601                 // It seems we didn't find the correct pit so stay on the safe side and
 602                 // scroll to bottom.
 603                 LYXERR0("scrolling position not found!");
 604                 scrollDocView(d->scrollbarParameters_.max);
 605                 return;
 606         }
 607
 608         DocIterator dit = doc_iterator_begin(&buffer_);
 609         dit.pit() = i;
 610         LYXERR(Debug::SCROLLING, "value = " << value << " -> scroll to pit " << i);
 611         showCursor(dit);
 612 }
 613
 614
 615 // FIXME: this method is not working well.
 616 void BufferView::setCursorFromScrollbar()
 617 {
 618         TextMetrics & tm = d->text_metrics_[&buffer_.text()];
 619
 620         int const height = 2 * defaultRowHeight();
 621         int const first = height;
 622         int const last = height_ - height;
 623         int newy = 0;
 624         Cursor const & oldcur = d->cursor_;
 625
 626         switch (cursorStatus(oldcur)) {
 627         case CUR_ABOVE:
 628                 newy = first;
 629                 break;
 630         case CUR_BELOW:
 631                 newy = last;
 632                 break;
 633         case CUR_INSIDE:
 634                 int const y = getPos(oldcur, oldcur.boundary()).y_;
 635                 newy = min(last, max(y, first));
 636                 if (y == newy)
 637                         return;
 638         }
 639         // We reset the cursor because cursorStatus() does not
 640         // work when the cursor is within mathed.
 641         Cursor cur(*this);
 642         cur.reset(buffer_.inset());
 643         tm.setCursorFromCoordinates(cur, 0, newy);
 644
 645         // update the bufferview cursor and notify insets
 646         // FIXME: Care about the d->cursor_ flags to redraw if needed
 647         Cursor old = d->cursor_;
 648         mouseSetCursor(cur);
 649         bool badcursor = notifyCursorLeavesOrEnters(old, d->cursor_);
 650         if (badcursor)
 651                 d->cursor_.fixIfBroken();
 652 }
 653
 654
 655 Change const BufferView::getCurrentChange() const
 656 {
 657         if (!d->cursor_.selection())
 658                 return Change(Change::UNCHANGED);
 659
 660         DocIterator dit = d->cursor_.selectionBegin();
 661         return dit.paragraph().lookupChange(dit.pos());
 662 }
 663
 664
 665 // this could be used elsewhere as well?
 666 // FIXME: This does not work within mathed!
 667 CursorStatus BufferView::cursorStatus(DocIterator const & dit) const
 668 {
 669         Point const p = getPos(dit, dit.boundary());
 670         if (p.y_ < 0)
 671                 return CUR_ABOVE;
 672         if (p.y_ > workHeight())
 673                 return CUR_BELOW;
 674         return CUR_INSIDE;
 675 }
 676
 677
 678 void BufferView::bookmarkEditPosition()
 679 {
 680         // Don't eat cpu time for each keystroke
 681         if (d->cursor_.paragraph().id() == d->bookmark_edit_position_)
 682                 return;
 683         saveBookmark(0);
 684         d->bookmark_edit_position_ = d->cursor_.paragraph().id();
 685 }
 686
 687
 688 void BufferView::saveBookmark(unsigned int idx)
 689 {
 690         // tentatively save bookmark, id and pos will be used to
 691         // acturately locate a bookmark in a 'live' lyx session.
 692         // pit and pos will be updated with bottom level pit/pos
 693         // when lyx exits.
 694         theSession().bookmarks().save(
 695                 buffer_.fileName(),
 696                 d->cursor_.bottom().pit(),
 697                 d->cursor_.bottom().pos(),
 698                 d->cursor_.paragraph().id(),
 699                 d->cursor_.pos(),
 700                 idx
 701         );
 702         if (idx)
 703                 // emit message signal.
 704                 message(_("Save bookmark"));
 705 }
 706
 707
 708 bool BufferView::moveToPosition(pit_type bottom_pit, pos_type bottom_pos,
 709         int top_id, pos_type top_pos)
 710 {
 711         bool success = false;
 712         DocIterator dit;
 713
 714         d->cursor_.clearSelection();
 715
 716         // if a valid par_id is given, try it first
 717         // This is the case for a 'live' bookmark when unique paragraph ID
 718         // is used to track bookmarks.
 719         if (top_id > 0) {
 720                 dit = buffer_.getParFromID(top_id);
 721                 if (!dit.atEnd()) {
 722                         dit.pos() = min(dit.paragraph().size(), top_pos);
 723                         // Some slices of the iterator may not be
 724                         // reachable (e.g. closed collapsable inset)
 725                         // so the dociterator may need to be
 726                         // shortened. Otherwise, setCursor may crash
 727                         // lyx when the cursor can not be set to these
 728                         // insets.
 729                         size_t const n = dit.depth();
 730                         for (size_t i = 0; i < n; ++i)
 731                                 if (!dit[i].inset().editable()) {
 732                                         dit.resize(i);
 733                                         break;
 734                                 }
 735                         success = true;
 736                 }
 737         }
 738
 739         // if top_id == 0, or searching through top_id failed
 740         // This is the case for a 'restored' bookmark when only bottom
 741         // (document level) pit was saved. Because of this, bookmark
 742         // restoration is inaccurate. If a bookmark was within an inset,
 743         // it will be restored to the left of the outmost inset that contains
 744         // the bookmark.
 745         if (bottom_pit < int(buffer_.paragraphs().size())) {
 746                 dit = doc_iterator_begin(&buffer_);
 747
 748                 dit.pit() = bottom_pit;
 749                 dit.pos() = min(bottom_pos, dit.paragraph().size());
 750                 success = true;
 751         }
 752
 753         if (success) {
 754                 // Note: only bottom (document) level pit is set.
 755                 setCursor(dit);
 756                 // set the current font.
 757                 d->cursor_.setCurrentFont();
 758                 // To center the screen on this new position we need the
 759                 // paragraph position which is computed at draw() time.
 760                 // So we need a redraw!
 761                 buffer_.changed();
 762                 if (fitCursor())
 763                         showCursor();
 764         }
 765
 766         return success;
 767 }
 768
 769
 770 void BufferView::translateAndInsert(char_type c, Text * t, Cursor & cur)
 771 {
 772         if (lyxrc.rtl_support) {
 773                 if (d->cursor_.real_current_font.isRightToLeft()) {
 774                         if (d->intl_.keymap == Intl::PRIMARY)
 775                                 d->intl_.keyMapSec();
 776                 } else {
 777                         if (d->intl_.keymap == Intl::SECONDARY)
 778                                 d->intl_.keyMapPrim();
 779                 }
 780         }
 781
 782         d->intl_.getTransManager().translateAndInsert(c, t, cur);
 783 }
 784
 785
 786 int BufferView::workWidth() const
 787 {
 788         return width_;
 789 }
 790
 791
 792 void BufferView::recenter()
 793 {
 794         showCursor(d->cursor_, true);
 795 }
 796
 797
 798 void BufferView::showCursor()
 799 {
 800         showCursor(d->cursor_, false);
 801 }
 802
 803
 804 void BufferView::showCursor(DocIterator const & dit, bool recenter)
 805 {
 806         if (scrollToCursor(dit, recenter))
 807                 buffer_.changed();
 808 }
 809
 810
 811 void BufferView::scrollToCursor()
 812 {
 813         scrollToCursor(d->cursor_, false);
 814 }
 815
 816
 817 bool BufferView::scrollToCursor(DocIterator const & dit, bool recenter)
 818 {
 819         // We are not properly started yet, delay until resizing is
 820         // done.
 821         if (height_ == 0)
 822                 return false;
 823
 824         LYXERR(Debug::SCROLLING, "recentering!");
 825
 826         CursorSlice const & bot = dit.bottom();
 827         TextMetrics & tm = d->text_metrics_[bot.text()];
 828
 829         pos_type const max_pit = pos_type(bot.text()->paragraphs().size() - 1);
 830         int bot_pit = bot.pit();
 831         if (bot_pit > max_pit) {
 832                 // FIXME: Why does this happen?
 833                 LYXERR0("bottom pit is greater that max pit: "
 834                         << bot_pit << " > " << max_pit);
 835                 bot_pit = max_pit;
 836         }
 837
 838         if (bot_pit == tm.first().first - 1)
 839                 tm.newParMetricsUp();
 840         else if (bot_pit == tm.last().first + 1)
 841                 tm.newParMetricsDown();
 842
 843         if (tm.contains(bot_pit)) {
 844                 ParagraphMetrics const & pm = tm.parMetrics(bot_pit);
 845                 LASSERT(!pm.rows().empty(), /**/);
 846                 // FIXME: smooth scrolling doesn't work in mathed.
 847                 CursorSlice const & cs = dit.innerTextSlice();
 848                 int offset = coordOffset(dit, dit.boundary()).y_;
 849                 int ypos = pm.position() + offset;
 850                 Dimension const & row_dim =
 851                         pm.getRow(cs.pos(), dit.boundary()).dimension();
 852                 int scrolled = 0;
 853                 if (recenter)
 854                         scrolled = scroll(ypos - height_/2);
 855                 else if (ypos - row_dim.ascent() < 0)
 856                         scrolled = scrollUp(- ypos + row_dim.ascent());
 857                 else if (ypos + row_dim.descent() > height_)
 858                         scrolled = scrollDown(ypos - height_ + defaultRowHeight() );
 859
 860                 // else, nothing to do, the cursor is already visible so we just return.
 861                 if (scrolled != 0) {
 862                         updateMetrics();
 863                         return true;
 864                 }
 865                 return false;
 866         }
 867
 868         // fix inline completion position
 869         if (d->inlineCompletionPos_.fixIfBroken())
 870                 d->inlineCompletionPos_ = DocIterator();
 871
 872         tm.redoParagraph(bot_pit);
 873         ParagraphMetrics const & pm = tm.parMetrics(bot_pit);
 874         int offset = coordOffset(dit, dit.boundary()).y_;
 875
 876         d->anchor_pit_ = bot_pit;
 877         CursorSlice const & cs = dit.innerTextSlice();
 878         Dimension const & row_dim =
 879                 pm.getRow(cs.pos(), dit.boundary()).dimension();
 880
 881         if (recenter)
 882                 d->anchor_ypos_ = height_/2;
 883         else if (d->anchor_pit_ == 0)
 884                 d->anchor_ypos_ = offset + pm.ascent();
 885         else if (d->anchor_pit_ == max_pit)
 886                 d->anchor_ypos_ = height_ - offset - row_dim.descent();
 887         else if (offset > height_)
 888                 d->anchor_ypos_ = height_ - offset - defaultRowHeight();
 889         else
 890                 d->anchor_ypos_ = defaultRowHeight() * 2;
 891
 892         updateMetrics();
 893         return true;
 894 }
 895
 896
 897 bool BufferView::getStatus(FuncRequest const & cmd, FuncStatus & flag)
 898 {
 899         Cursor & cur = d->cursor_;
 900
 901         switch (cmd.action) {
 902
 903         case LFUN_UNDO:
 904                 flag.setEnabled(buffer_.undo().hasUndoStack());
 905                 break;
 906         case LFUN_REDO:
 907                 flag.setEnabled(buffer_.undo().hasRedoStack());
 908                 break;
 909         case LFUN_FILE_INSERT:
 910         case LFUN_FILE_INSERT_PLAINTEXT_PARA:
 911         case LFUN_FILE_INSERT_PLAINTEXT:
 912         case LFUN_BOOKMARK_SAVE:
 913                 // FIXME: Actually, these LFUNS should be moved to Text
 914                 flag.setEnabled(cur.inTexted());
 915                 break;
 916
 917         case LFUN_FONT_STATE:
 918         case LFUN_LABEL_INSERT:
 919         case LFUN_INFO_INSERT:
 920         case LFUN_INSET_EDIT:
 921         case LFUN_PARAGRAPH_GOTO:
 922         case LFUN_NOTE_NEXT:
 923         case LFUN_REFERENCE_NEXT:
 924         case LFUN_WORD_FIND:
 925         case LFUN_WORD_FINDADV:
 926         case LFUN_WORD_REPLACE:
 927         case LFUN_MARK_OFF:
 928         case LFUN_MARK_ON:
 929         case LFUN_MARK_TOGGLE:
 930         case LFUN_SCREEN_RECENTER:
 931         case LFUN_SCREEN_SHOW_CURSOR:
 932         case LFUN_BIBTEX_DATABASE_ADD:
 933         case LFUN_BIBTEX_DATABASE_DEL:
 934         case LFUN_NOTES_MUTATE:
 935         case LFUN_ALL_INSETS_TOGGLE:
 936         case LFUN_STATISTICS:
 937         case LFUN_BRANCH_ADD_INSERT:
 938                 flag.setEnabled(true);
 939                 break;
 940
 941         // @todo Test if current WorkArea is the search WorkArea
 942         case LFUN_REGEXP_MODE:
 943                 flag.setEnabled(! this->cursor().inRegexped());
 944                 break;
 945
 946         case LFUN_LABEL_COPY_AS_REF: {
 947                 // if there is an inset at cursor, see whether it
 948                 // handles the lfun
 949                 Inset * inset = cur.nextInset();
 950                 if (!inset || !inset->getStatus(cur, cmd, flag))
 951                         flag.setEnabled(false);
 952                 break;
 953         }
 954
 955         case LFUN_NEXT_INSET_MODIFY: {
 956                 // this is the real function we want to invoke
 957                 FuncRequest tmpcmd = cmd;
 958                 tmpcmd.action = LFUN_INSET_MODIFY;
 959                 // if there is an inset at cursor, see whether it
 960                 // handles the lfun, other start from scratch
 961                 Inset * inset = cur.nextInset();
 962                 if (!inset || !inset->getStatus(cur, tmpcmd, flag))
 963                         flag = lyx::getStatus(tmpcmd);
 964                 break;
 965         }
 966
 967         case LFUN_LABEL_GOTO: {
 968                 flag.setEnabled(!cmd.argument().empty()
 969                     || getInsetByCode<InsetRef>(cur, REF_CODE));
 970                 break;
 971         }
 972
 973         case LFUN_CHANGES_TRACK:
 974                 flag.setEnabled(true);
 975                 flag.setOnOff(buffer_.params().trackChanges);
 976                 break;
 977
 978         case LFUN_CHANGES_OUTPUT:
 979                 flag.setEnabled(true);
 980                 flag.setOnOff(buffer_.params().outputChanges);
 981                 break;
 982
 983         case LFUN_CHANGES_MERGE:
 984         case LFUN_CHANGE_NEXT:
 985         case LFUN_CHANGE_PREVIOUS:
 986         case LFUN_ALL_CHANGES_ACCEPT:
 987         case LFUN_ALL_CHANGES_REJECT:
 988                 // TODO: context-sensitive enabling of LFUNs
 989                 // In principle, these command should only be enabled if there
 990                 // is a change in the document. However, without proper
 991                 // optimizations, this will inevitably result in poor performance.
 992                 flag.setEnabled(true);
 993                 break;
 994
 995         case LFUN_BUFFER_TOGGLE_COMPRESSION: {
 996                 flag.setOnOff(buffer_.params().compressed);
 997                 break;
 998         }
 999
1000         case LFUN_SCREEN_UP:
1001         case LFUN_SCREEN_DOWN:
1002         case LFUN_SCROLL:
1003         case LFUN_SCREEN_UP_SELECT:
1004         case LFUN_SCREEN_DOWN_SELECT:
1005                 flag.setEnabled(true);
1006                 break;
1007
1008         case LFUN_LAYOUT_TABULAR:
1009                 flag.setEnabled(cur.innerInsetOfType(TABULAR_CODE));
1010                 break;
1011
1012         case LFUN_LAYOUT:
1013                 flag.setEnabled(!cur.inset().forcePlainLayout(cur.idx()));
1014                 break;
1015
1016         case LFUN_LAYOUT_PARAGRAPH:
1017                 flag.setEnabled(cur.inset().allowParagraphCustomization(cur.idx()));
1018                 break;
1019
1020         case LFUN_DIALOG_SHOW_NEW_INSET:
1021                 // FIXME: this is wrong, but I do not understand the
1022                 // intent (JMarc)
1023                 if (cur.inset().lyxCode() == CAPTION_CODE)
1024                         return cur.inset().getStatus(cur, cmd, flag);
1025                 // FIXME we should consider passthru paragraphs too.
1026                 flag.setEnabled(!cur.inset().getLayout().isPassThru());
1027                 break;
1028
1029         default:
1030                 flag.setEnabled(false);
1031                 return false;
1032         }
1033
1034         return true;
1035 }
1036
1037
1038 bool BufferView::dispatch(FuncRequest const & cmd)
1039 {
1040         //lyxerr << [ cmd = " << cmd << "]" << endl;
1041
1042         // Make sure that the cached BufferView is correct.
1043         LYXERR(Debug::ACTION, " action[" << cmd.action << ']'
1044                 << " arg[" << to_utf8(cmd.argument()) << ']'
1045                 << " x[" << cmd.x << ']'
1046                 << " y[" << cmd.y << ']'
1047                 << " button[" << cmd.button() << ']');
1048
1049         Cursor & cur = d->cursor_;
1050
1051         switch (cmd.action) {
1052
1053         case LFUN_UNDO:
1054                 cur.message(_("Undo"));
1055                 cur.clearSelection();
1056                 if (!cur.textUndo())
1057                         cur.message(_("No further undo information"));
1058                 else
1059                         processUpdateFlags(Update::Force | Update::FitCursor);
1060                 break;
1061
1062         case LFUN_REDO:
1063                 cur.message(_("Redo"));
1064                 cur.clearSelection();
1065                 if (!cur.textRedo())
1066                         cur.message(_("No further redo information"));
1067                 else
1068                         processUpdateFlags(Update::Force | Update::FitCursor);
1069                 break;
1070
1071         case LFUN_FONT_STATE:
1072                 cur.message(cur.currentState());
1073                 break;
1074
1075         case LFUN_BOOKMARK_SAVE:
1076                 saveBookmark(convert<unsigned int>(to_utf8(cmd.argument())));
1077                 break;
1078
1079         case LFUN_LABEL_GOTO: {
1080                 docstring label = cmd.argument();
1081                 if (label.empty()) {
1082                         InsetRef * inset =
1083                                 getInsetByCode<InsetRef>(cur, REF_CODE);
1084                         if (inset) {
1085                                 label = inset->getParam("reference");
1086                                 // persistent=false: use temp_bookmark
1087                                 saveBookmark(0);
1088                         }
1089                 }
1090                 if (!label.empty())
1091                         gotoLabel(label);
1092                 break;
1093         }
1094
1095         case LFUN_INSET_EDIT: {
1096                 FuncRequest fr(cmd);
1097                 // if there is an inset at cursor, see whether it
1098                 // can be modified.
1099                 Inset * inset = cur.nextInset();
1100                 if (inset)
1101                         inset->dispatch(cur, fr);
1102                 // if it did not work, try the underlying inset.
1103                 if (!inset || !cur.result().dispatched())
1104                         cur.dispatch(cmd);
1105
1106                 // FIXME I'm adding the last break to solve a crash,
1107                 // but that is obviously not right.
1108                 if (!cur.result().dispatched())
1109                         // It did not work too; no action needed.
1110                         break;
1111                 break;
1112         }
1113
1114         case LFUN_PARAGRAPH_GOTO: {
1115                 int const id = convert<int>(cmd.getArg(0));
1116                 int const pos = convert<int>(cmd.getArg(1));
1117                 int i = 0;
1118                 for (Buffer * b = &buffer_; i == 0 || b != &buffer_;
1119                         b = theBufferList().next(b)) {
1120
1121                         DocIterator dit = b->getParFromID(id);
1122                         if (dit.atEnd()) {
1123                                 LYXERR(Debug::INFO, "No matching paragraph found! [" << id << "].");
1124                                 ++i;
1125                                 continue;
1126                         }
1127                         LYXERR(Debug::INFO, "Paragraph " << dit.paragraph().id()
1128                                 << " found in buffer `"
1129                                 << b->absFileName() << "'.");
1130
1131                         if (b == &buffer_) {
1132                                 // Set the cursor
1133                                 dit.pos() = pos;
1134                                 setCursor(dit);
1135                                 processUpdateFlags(Update::Force | Update::FitCursor);
1136                         } else {
1137                                 // Switch to other buffer view and resend cmd
1138                                 theLyXFunc().dispatch(FuncRequest(
1139                                         LFUN_BUFFER_SWITCH, b->absFileName()));
1140                                 theLyXFunc().dispatch(cmd);
1141                         }
1142                         break;
1143                 }
1144                 break;
1145         }
1146
1147         case LFUN_NOTE_NEXT:
1148                 gotoInset(this, NOTE_CODE, false);
1149                 break;
1150
1151         case LFUN_REFERENCE_NEXT: {
1152                 vector<InsetCode> tmp;
1153                 tmp.push_back(LABEL_CODE);
1154                 tmp.push_back(REF_CODE);
1155                 gotoInset(this, tmp, true);
1156                 break;
1157         }
1158
1159         case LFUN_CHANGES_TRACK:
1160                 buffer_.params().trackChanges = !buffer_.params().trackChanges;
1161                 break;
1162
1163         case LFUN_CHANGES_OUTPUT:
1164                 buffer_.params().outputChanges = !buffer_.params().outputChanges;
1165                 if (buffer_.params().outputChanges) {
1166                         bool dvipost    = LaTeXFeatures::isAvailable("dvipost");
1167                         bool xcolorulem = LaTeXFeatures::isAvailable("ulem") &&
1168                                           LaTeXFeatures::isAvailable("xcolor");
1169
1170                         if (!dvipost && !xcolorulem) {
1171                                 Alert::warning(_("Changes not shown in LaTeX output"),
1172                                                _("Changes will not be highlighted in LaTeX output, "
1173                                                  "because neither dvipost nor xcolor/ulem are installed.\n"
1174                                                  "Please install these packages or redefine "
1175                                                  "\\lyxadded and \\lyxdeleted in the LaTeX preamble."));
1176                         } else if (!xcolorulem) {
1177                                 Alert::warning(_("Changes not shown in LaTeX output"),
1178                                                _("Changes will not be highlighted in LaTeX output "
1179                                                  "when using pdflatex, because xcolor and ulem are not installed.\n"
1180                                                  "Please install both packages or redefine "
1181                                                  "\\lyxadded and \\lyxdeleted in the LaTeX preamble."));
1182                         }
1183                 }
1184                 break;
1185
1186         case LFUN_CHANGE_NEXT:
1187                 findNextChange(this);
1188                 // FIXME: Move this LFUN to Buffer so that we don't have to do this:
1189                 processUpdateFlags(Update::Force | Update::FitCursor);
1190                 break;
1191
1192         case LFUN_CHANGE_PREVIOUS:
1193                 findPreviousChange(this);
1194                 // FIXME: Move this LFUN to Buffer so that we don't have to do this:
1195                 processUpdateFlags(Update::Force | Update::FitCursor);
1196                 break;
1197
1198         case LFUN_CHANGES_MERGE:
1199                 if (findNextChange(this) || findPreviousChange(this)) {
1200                         processUpdateFlags(Update::Force | Update::FitCursor);
1201                         showDialog("changes");
1202                 }
1203                 break;
1204
1205         case LFUN_ALL_CHANGES_ACCEPT:
1206                 // select complete document
1207                 cur.reset(buffer_.inset());
1208                 cur.selHandle(true);
1209                 buffer_.text().cursorBottom(cur);
1210                 // accept everything in a single step to support atomic undo
1211                 buffer_.text().acceptOrRejectChanges(cur, Text::ACCEPT);
1212                 // FIXME: Move this LFUN to Buffer so that we don't have to do this:
1213                 processUpdateFlags(Update::Force | Update::FitCursor);
1214                 break;
1215
1216         case LFUN_ALL_CHANGES_REJECT:
1217                 // select complete document
1218                 cur.reset(buffer_.inset());
1219                 cur.selHandle(true);
1220                 buffer_.text().cursorBottom(cur);
1221                 // reject everything in a single step to support atomic undo
1222                 // Note: reject does not work recursively; the user may have to repeat the operation
1223                 buffer_.text().acceptOrRejectChanges(cur, Text::REJECT);
1224                 // FIXME: Move this LFUN to Buffer so that we don't have to do this:
1225                 processUpdateFlags(Update::Force | Update::FitCursor);
1226                 break;
1227
1228         case LFUN_WORD_FIND: {
1229                 FuncRequest req = cmd;
1230                 if (cmd.argument().empty() && !d->search_request_cache_.argument().empty())
1231                         req = d->search_request_cache_;
1232                 if (req.argument().empty()) {
1233                         theLyXFunc().dispatch(FuncRequest(LFUN_DIALOG_SHOW, "findreplace"));
1234                         break;
1235                 }
1236                 if (find(this, req))
1237                         showCursor();
1238                 else
1239                         message(_("String not found!"));
1240                 d->search_request_cache_ = req;
1241                 break;
1242         }
1243
1244         case LFUN_WORD_REPLACE: {
1245                 bool has_deleted = false;
1246                 if (cur.selection()) {
1247                         DocIterator beg = cur.selectionBegin();
1248                         DocIterator end = cur.selectionEnd();
1249                         if (beg.pit() == end.pit()) {
1250                                 for (pos_type p = beg.pos() ; p < end.pos() ; ++p) {
1251                                         if (cur.paragraph().isDeleted(p))
1252                                                 has_deleted = true;
1253                                 }
1254                         }
1255                 }
1256                 replace(this, cmd, has_deleted);
1257                 break;
1258         }
1259
1260         case LFUN_WORD_FINDADV:
1261                 findAdv(this, cmd);
1262                 break;
1263
1264         case LFUN_MARK_OFF:
1265                 cur.clearSelection();
1266                 cur.message(from_utf8(N_("Mark off")));
1267                 break;
1268
1269         case LFUN_MARK_ON:
1270                 cur.clearSelection();
1271                 cur.setMark(true);
1272                 cur.message(from_utf8(N_("Mark on")));
1273                 break;
1274
1275         case LFUN_MARK_TOGGLE:
1276                 cur.setSelection(false);
1277                 if (cur.mark()) {
1278                         cur.setMark(false);
1279                         cur.message(from_utf8(N_("Mark removed")));
1280                 } else {
1281                         cur.setMark(true);
1282                         cur.message(from_utf8(N_("Mark set")));
1283                 }
1284                 cur.resetAnchor();
1285                 break;
1286
1287         case LFUN_SCREEN_SHOW_CURSOR:
1288                 showCursor();
1289                 break;
1290
1291         case LFUN_SCREEN_RECENTER:
1292                 recenter();
1293                 break;
1294
1295         case LFUN_BIBTEX_DATABASE_ADD: {
1296                 Cursor tmpcur = cur;
1297                 findInset(tmpcur, BIBTEX_CODE, false);
1298                 InsetBibtex * inset = getInsetByCode<InsetBibtex>(tmpcur,
1299                                                 BIBTEX_CODE);
1300                 if (inset) {
1301                         if (inset->addDatabase(cmd.argument()))
1302                                 buffer_.updateBibfilesCache();
1303                 }
1304                 break;
1305         }
1306
1307         case LFUN_BIBTEX_DATABASE_DEL: {
1308                 Cursor tmpcur = cur;
1309                 findInset(tmpcur, BIBTEX_CODE, false);
1310                 InsetBibtex * inset = getInsetByCode<InsetBibtex>(tmpcur,
1311                                                 BIBTEX_CODE);
1312                 if (inset) {
1313                         if (inset->delDatabase(cmd.argument()))
1314                                 buffer_.updateBibfilesCache();
1315                 }
1316                 break;
1317         }
1318
1319         case LFUN_STATISTICS: {
1320                 DocIterator from, to;
1321                 if (cur.selection()) {
1322                         from = cur.selectionBegin();
1323                         to = cur.selectionEnd();
1324                 } else {
1325                         from = doc_iterator_begin(&buffer_);
1326                         to = doc_iterator_end(&buffer_);
1327                 }
1328                 int const words = countWords(from, to);
1329                 int const chars = countChars(from, to, false);
1330                 int const chars_blanks = countChars(from, to, true);
1331                 docstring message;
1332                 if (cur.selection())
1333                         message = _("Statistics for the selection:");
1334                 else
1335                         message = _("Statistics for the document:");
1336                 message += "\n\n";
1337                 if (words != 1)
1338                         message += bformat(_("%1$d words"), words);
1339                 else
1340                         message += _("One word");
1341                 message += "\n";
1342                 if (chars_blanks != 1)
1343                         message += bformat(_("%1$d characters (including blanks)"),
1344                                           chars_blanks);
1345                 else
1346                         message += _("One character (including blanks)");
1347                 message += "\n";
1348                 if (chars != 1)
1349                         message += bformat(_("%1$d characters (excluding blanks)"),
1350                                           chars);
1351                 else
1352                         message += _("One character (excluding blanks)");
1353
1354                 Alert::information(_("Statistics"), message);
1355         }
1356                 break;
1357
1358         case LFUN_BUFFER_TOGGLE_COMPRESSION:
1359                 // turn compression on/off
1360                 buffer_.params().compressed = !buffer_.params().compressed;
1361                 break;
1362
1363         case LFUN_LABEL_COPY_AS_REF: {
1364                 // if there is an inset at cursor, try to copy it
1365                 Inset * inset = &cur.inset();
1366                 if (!inset || !inset->asInsetMath())
1367                         inset = cur.nextInset();
1368                 if (inset) {
1369                         FuncRequest tmpcmd = cmd;
1370                         inset->dispatch(cur, tmpcmd);
1371                 }
1372                 if (!cur.result().dispatched())
1373                         // It did not work too; no action needed.
1374                         break;
1375                 cur.clearSelection();
1376                 processUpdateFlags(Update::SinglePar | Update::FitCursor);
1377                 break;
1378         }
1379
1380         case LFUN_NEXT_INSET_MODIFY: {
1381                 // create the the real function we want to invoke
1382                 FuncRequest tmpcmd = cmd;
1383                 tmpcmd.action = LFUN_INSET_MODIFY;
1384                 // if there is an inset at cursor, see whether it
1385                 // can be modified.
1386                 Inset * inset = cur.nextInset();
1387                 if (inset) {
1388                         cur.recordUndo();
1389                         inset->dispatch(cur, tmpcmd);
1390                 }
1391                 // if it did not work, try the underlying inset.
1392                 if (!inset || !cur.result().dispatched()) {
1393                         cur.recordUndo();
1394                         cur.dispatch(tmpcmd);
1395                 }
1396
1397                 if (!cur.result().dispatched())
1398                         // It did not work too; no action needed.
1399                         break;
1400                 cur.clearSelection();
1401                 processUpdateFlags(Update::Force | Update::FitCursor);
1402                 break;
1403         }
1404
1405         case LFUN_SCREEN_UP:
1406         case LFUN_SCREEN_DOWN: {
1407                 Point p = getPos(cur, cur.boundary());
1408                 // This code has been commented out to enable to scroll down a
1409                 // document, even if there are large insets in it (see bug #5465).
1410                 /*if (p.y_ < 0 || p.y_ > height_) {
1411                         // The cursor is off-screen so recenter before proceeding.
1412                         showCursor();
1413                         p = getPos(cur, cur.boundary());
1414                 }*/
1415                 int const scrolled = scroll(cmd.action == LFUN_SCREEN_UP
1416                         ? -height_ : height_);
1417                 if (cmd.action == LFUN_SCREEN_UP && scrolled > -height_)
1418                         p = Point(0, 0);
1419                 if (cmd.action == LFUN_SCREEN_DOWN && scrolled < height_)
1420                         p = Point(width_, height_);
1421                 Cursor old = cur;
1422                 bool const in_texted = cur.inTexted();
1423                 cur.reset(buffer_.inset());
1424                 updateMetrics();
1425                 buffer_.changed();
1426                 d->text_metrics_[&buffer_.text()].editXY(cur, p.x_, p.y_,
1427                         true, cmd.action == LFUN_SCREEN_UP);
1428                 //FIXME: what to do with cur.x_target()?
1429                 bool update = in_texted && cur.bv().checkDepm(cur, old);
1430                 cur.finishUndo();
1431                 if (update)
1432                         processUpdateFlags(Update::Force | Update::FitCursor);
1433                 break;
1434         }
1435
1436         case LFUN_SCROLL:
1437                 lfunScroll(cmd);
1438                 break;
1439
1440         case LFUN_SCREEN_UP_SELECT: {
1441                 cur.selHandle(true);
1442                 if (isTopScreen()) {
1443                         lyx::dispatch(FuncRequest(LFUN_BUFFER_BEGIN_SELECT));
1444                         cur.finishUndo();
1445                         break;
1446                 }
1447                 int y = getPos(cur, cur.boundary()).y_;
1448                 int const ymin = y - height_ + defaultRowHeight();
1449                 while (y > ymin && cur.up())
1450                         y = getPos(cur, cur.boundary()).y_;
1451
1452                 cur.finishUndo();
1453                 processUpdateFlags(Update::SinglePar | Update::FitCursor);
1454                 break;
1455         }
1456
1457         case LFUN_SCREEN_DOWN_SELECT: {
1458                 cur.selHandle(true);
1459                 if (isBottomScreen()) {
1460                         lyx::dispatch(FuncRequest(LFUN_BUFFER_END_SELECT));
1461                         cur.finishUndo();
1462                         break;
1463                 }
1464                 int y = getPos(cur, cur.boundary()).y_;
1465                 int const ymax = y + height_ - defaultRowHeight();
1466                 while (y < ymax && cur.down())
1467                         y = getPos(cur, cur.boundary()).y_;
1468
1469                 cur.finishUndo();
1470                 processUpdateFlags(Update::SinglePar | Update::FitCursor);
1471                 break;
1472         }
1473
1474         // This could be rewriten using some command like forall <insetname> <command>
1475         // once the insets refactoring is done.
1476         case LFUN_NOTES_MUTATE: {
1477                 if (cmd.argument().empty())
1478                         break;
1479
1480                 if (mutateNotes(cur, cmd.getArg(0), cmd.getArg(1))) {
1481                         processUpdateFlags(Update::Force);
1482                 }
1483                 break;
1484         }
1485
1486         case LFUN_ALL_INSETS_TOGGLE: {
1487                 string action;
1488                 string const name = split(to_utf8(cmd.argument()), action, ' ');
1489                 InsetCode const inset_code = insetCode(name);
1490
1491                 FuncRequest fr(LFUN_INSET_TOGGLE, action);
1492
1493                 Inset & inset = cur.buffer()->inset();
1494                 InsetIterator it  = inset_iterator_begin(inset);
1495                 InsetIterator const end = inset_iterator_end(inset);
1496                 for (; it != end; ++it) {
1497                         if (it->asInsetCollapsable()
1498                             && (inset_code == NO_CODE
1499                             || inset_code == it->lyxCode())) {
1500                                 Cursor tmpcur = cur;
1501                                 tmpcur.pushBackward(*it);
1502                                 it->dispatch(tmpcur, fr);
1503                         }
1504                 }
1505                 processUpdateFlags(Update::Force | Update::FitCursor);
1506                 break;
1507         }
1508
1509         case LFUN_BRANCH_ADD_INSERT: {
1510                 docstring branch_name = from_utf8(cmd.getArg(0));
1511                 if (branch_name.empty())
1512                         if (!Alert::askForText(branch_name, _("Branch name")) ||
1513                                                 branch_name.empty())
1514                                 break;
1515
1516                 DispatchResult drtmp;
1517                 buffer_.dispatch(FuncRequest(LFUN_BRANCH_ADD, branch_name), drtmp);
1518                 if (drtmp.error()) {
1519                         Alert::warning(_("Branch already exists"), drtmp.message());
1520                         break;
1521                 }
1522                 BranchList & branch_list = buffer_.params().branchlist();
1523                 Branch const * branch = branch_list.find(branch_name);
1524                 string const x11hexname = X11hexname(branch->color());
1525                 docstring const str = branch_name + ' ' + from_ascii(x11hexname);
1526                 lyx::dispatch(FuncRequest(LFUN_SET_COLOR, str));
1527                 lyx::dispatch(FuncRequest(LFUN_BRANCH_INSERT, branch_name));
1528                 break;
1529         }
1530
1531
1532         default:
1533                 return false;
1534         }
1535
1536         return true;
1537 }
1538
1539
1540 docstring const BufferView::requestSelection()
1541 {
1542         Cursor & cur = d->cursor_;
1543
1544         LYXERR(Debug::SELECTION, "requestSelection: cur.selection: " << cur.selection());
1545         if (!cur.selection()) {
1546                 d->xsel_cache_.set = false;
1547                 return docstring();
1548         }
1549
1550         LYXERR(Debug::SELECTION, "requestSelection: xsel_cache.set: " << d->xsel_cache_.set);
1551         if (!d->xsel_cache_.set ||
1552             cur.top() != d->xsel_cache_.cursor ||
1553             cur.anchor_.top() != d->xsel_cache_.anchor)
1554         {
1555                 d->xsel_cache_.cursor = cur.top();
1556                 d->xsel_cache_.anchor = cur.anchor_.top();
1557                 d->xsel_cache_.set = cur.selection();
1558                 return cur.selectionAsString(false);
1559         }
1560         return docstring();
1561 }
1562
1563
1564 void BufferView::clearSelection()
1565 {
1566         d->cursor_.clearSelection();
1567         // Clear the selection buffer. Otherwise a subsequent
1568         // middle-mouse-button paste would use the selection buffer,
1569         // not the more current external selection.
1570         cap::clearSelection();
1571         d->xsel_cache_.set = false;
1572         // The buffer did not really change, but this causes the
1573         // redraw we need because we cleared the selection above.
1574         buffer_.changed();
1575 }
1576
1577
1578 void BufferView::resize(int width, int height)
1579 {
1580         // Update from work area
1581         width_ = width;
1582         height_ = height;
1583
1584         // Clear the paragraph height cache.
1585         d->par_height_.clear();
1586         // Redo the metrics.
1587         updateMetrics();
1588 }
1589
1590
1591 Inset const * BufferView::getCoveringInset(Text const & text,
1592                 int x, int y) const
1593 {
1594         TextMetrics & tm = d->text_metrics_[&text];
1595         Inset * inset = tm.checkInsetHit(x, y);
1596         if (!inset)
1597                 return 0;
1598
1599         if (!inset->descendable())
1600                 // No need to go further down if the inset is not
1601                 // descendable.
1602                 return inset;
1603
1604         size_t cell_number = inset->nargs();
1605         // Check all the inner cell.
1606         for (size_t i = 0; i != cell_number; ++i) {
1607                 Text const * inner_text = inset->getText(i);
1608                 if (inner_text) {
1609                         // Try deeper.
1610                         Inset const * inset_deeper =
1611                                 getCoveringInset(*inner_text, x, y);
1612                         if (inset_deeper)
1613                                 return inset_deeper;
1614                 }
1615         }
1616
1617         return inset;
1618 }
1619
1620
1621 void BufferView::mouseEventDispatch(FuncRequest const & cmd0)
1622 {
1623         //lyxerr << "[ cmd0 " << cmd0 << "]" << endl;
1624
1625         // This is only called for mouse related events including
1626         // LFUN_FILE_OPEN generated by drag-and-drop.
1627         FuncRequest cmd = cmd0;
1628
1629         Cursor old = cursor();
1630         Cursor cur(*this);
1631         cur.push(buffer_.inset());
1632         cur.setSelection(d->cursor_.selection());
1633
1634         // Either the inset under the cursor or the
1635         // surrounding Text will handle this event.
1636
1637         // make sure we stay within the screen...
1638         cmd.y = min(max(cmd.y, -1), height_);
1639
1640         if (cmd.action == LFUN_MOUSE_MOTION && cmd.button() == mouse_button::none) {
1641
1642                 // Get inset under mouse, if there is one.
1643                 Inset const * covering_inset =
1644                         getCoveringInset(buffer_.text(), cmd.x, cmd.y);
1645                 if (covering_inset == d->last_inset_)
1646                         // Same inset, no need to do anything...
1647                         return;
1648
1649                 bool need_redraw = false;
1650                 // const_cast because of setMouseHover().
1651                 Inset * inset = const_cast<Inset *>(covering_inset);
1652                 if (d->last_inset_)
1653                         // Remove the hint on the last hovered inset (if any).
1654                         need_redraw |= d->last_inset_->setMouseHover(false);
1655                 if (inset)
1656                         // Highlighted the newly hovered inset (if any).
1657                         need_redraw |= inset->setMouseHover(true);
1658                 d->last_inset_ = inset;
1659                 if (!need_redraw)
1660                         return;
1661
1662                 LYXERR(Debug::PAINTING, "Mouse hover detected at: ("
1663                         << cmd.x << ", " << cmd.y << ")");
1664
1665                 d->update_strategy_ = DecorationUpdate;
1666
1667                 // This event (moving without mouse click) is not passed further.
1668                 // This should be changed if it is further utilized.
1669                 buffer_.changed();
1670                 return;
1671         }
1672
1673         // Build temporary cursor.
1674         Inset * inset = d->text_metrics_[&buffer_.text()].editXY(cur, cmd.x, cmd.y);
1675
1676         // Put anchor at the same position.
1677         cur.resetAnchor();
1678
1679         cur.beginUndoGroup();
1680
1681         // Try to dispatch to an non-editable inset near this position
1682         // via the temp cursor. If the inset wishes to change the real
1683         // cursor it has to do so explicitly by using
1684         //  cur.bv().cursor() = cur;  (or similar)
1685         if (inset)
1686                 inset->dispatch(cur, cmd);
1687
1688         // Now dispatch to the temporary cursor. If the real cursor should
1689         // be modified, the inset's dispatch has to do so explicitly.
1690         if (!inset || !cur.result().dispatched())
1691                 cur.dispatch(cmd);
1692
1693         cur.endUndoGroup();
1694
1695         // Notify left insets
1696         if (cur != old) {
1697                 old.fixIfBroken();
1698                 bool badcursor = notifyCursorLeavesOrEnters(old, cur);
1699                 if (badcursor)
1700                         cursor().fixIfBroken();
1701         }
1702
1703         // Do we have a selection?
1704         theSelection().haveSelection(cursor().selection());
1705
1706         // If the command has been dispatched,
1707         if (cur.result().dispatched() || cur.result().update())
1708                 processUpdateFlags(cur.result().update());
1709 }
1710
1711
1712 void BufferView::lfunScroll(FuncRequest const & cmd)
1713 {
1714         string const scroll_type = cmd.getArg(0);
1715         int const scroll_step =
1716                 (scroll_type == "line") ? d->scrollbarParameters_.single_step
1717                 : (scroll_type == "page") ? d->scrollbarParameters_.page_step : 0;
1718         if (scroll_step == 0)
1719                 return;
1720         string const scroll_quantity = cmd.getArg(1);
1721         if (scroll_quantity == "up")
1722                 scrollUp(scroll_step);
1723         else if (scroll_quantity == "down")
1724                 scrollDown(scroll_step);
1725         else {
1726                 int const scroll_value = convert<int>(scroll_quantity);
1727                 if (scroll_value)
1728                         scroll(scroll_step * scroll_value);
1729         }
1730         updateMetrics();
1731         buffer_.changed();
1732 }
1733
1734
1735 int BufferView::minVisiblePart()
1736 {
1737         return 2 * defaultRowHeight();
1738 }
1739
1740
1741 int BufferView::scroll(int y)
1742 {
1743         if (y > 0)
1744                 return scrollDown(y);
1745         if (y < 0)
1746                 return scrollUp(-y);
1747         return 0;
1748 }
1749
1750
1751 int BufferView::scrollDown(int offset)
1752 {
1753         Text * text = &buffer_.text();
1754         TextMetrics & tm = d->text_metrics_[text];
1755         int const ymax = height_ + offset;
1756         while (true) {
1757                 pair<pit_type, ParagraphMetrics const *> last = tm.last();
1758                 int bottom_pos = last.second->position() + last.second->descent();
1759                 if (lyxrc.scroll_below_document)
1760                         bottom_pos += height_ - minVisiblePart();
1761                 if (last.first + 1 == int(text->paragraphs().size())) {
1762                         if (bottom_pos <= height_)
1763                                 return 0;
1764                         offset = min(offset, bottom_pos - height_);
1765                         break;
1766                 }
1767                 if (bottom_pos > ymax)
1768                         break;
1769                 tm.newParMetricsDown();
1770         }
1771         d->anchor_ypos_ -= offset;
1772         return -offset;
1773 }
1774
1775
1776 int BufferView::scrollUp(int offset)
1777 {
1778         Text * text = &buffer_.text();
1779         TextMetrics & tm = d->text_metrics_[text];
1780         int ymin = - offset;
1781         while (true) {
1782                 pair<pit_type, ParagraphMetrics const *> first = tm.first();
1783                 int top_pos = first.second->position() - first.second->ascent();
1784                 if (first.first == 0) {
1785                         if (top_pos >= 0)
1786                                 return 0;
1787                         offset = min(offset, - top_pos);
1788                         break;
1789                 }
1790                 if (top_pos < ymin)
1791                         break;
1792                 tm.newParMetricsUp();
1793         }
1794         d->anchor_ypos_ += offset;
1795         return offset;
1796 }
1797
1798
1799 void BufferView::setCursorFromRow(int row)
1800 {
1801         int tmpid = -1;
1802         int tmppos = -1;
1803
1804         buffer_.texrow().getIdFromRow(row, tmpid, tmppos);
1805
1806         d->cursor_.reset(buffer_.inset());
1807         if (tmpid == -1)
1808                 buffer_.text().setCursor(d->cursor_, 0, 0);
1809         else
1810                 buffer_.text().setCursor(d->cursor_, buffer_.getParFromID(tmpid).pit(), tmppos);
1811 }
1812
1813
1814 bool BufferView::setCursorFromInset(Inset const * inset)
1815 {
1816         // are we already there?
1817         if (cursor().nextInset() == inset)
1818                 return true;
1819
1820         // Inset is not at cursor position. Find it in the document.
1821         Cursor cur(*this);
1822         cur.reset(buffer().inset());
1823         while (cur && cur.nextInset() != inset)
1824                 cur.forwardInset();
1825
1826         if (cur) {
1827                 setCursor(cur);
1828                 return true;
1829         }
1830         return false;
1831 }
1832
1833
1834 void BufferView::gotoLabel(docstring const & label)
1835 {
1836         std::vector<Buffer const *> bufs = buffer().allRelatives();
1837         std::vector<Buffer const *>::iterator it = bufs.begin();
1838         for (; it != bufs.end(); ++it) {
1839                 Buffer const * buf = *it;
1840
1841                 // find label
1842                 Toc & toc = buf->tocBackend().toc("label");
1843                 TocIterator toc_it = toc.begin();
1844                 TocIterator end = toc.end();
1845                 for (; toc_it != end; ++toc_it) {
1846                         if (label == toc_it->str()) {
1847                                 dispatch(toc_it->action());
1848                                 return;
1849                         }
1850                 }
1851         }
1852 }
1853
1854
1855 TextMetrics const & BufferView::textMetrics(Text const * t) const
1856 {
1857         return const_cast<BufferView *>(this)->textMetrics(t);
1858 }
1859
1860
1861 TextMetrics & BufferView::textMetrics(Text const * t)
1862 {
1863         TextMetricsCache::iterator tmc_it  = d->text_metrics_.find(t);
1864         if (tmc_it == d->text_metrics_.end()) {
1865                 tmc_it = d->text_metrics_.insert(
1866                         make_pair(t, TextMetrics(this, const_cast<Text *>(t)))).first;
1867         }
1868         return tmc_it->second;
1869 }
1870
1871
1872 ParagraphMetrics const & BufferView::parMetrics(Text const * t,
1873                 pit_type pit) const
1874 {
1875         return textMetrics(t).parMetrics(pit);
1876 }
1877
1878
1879 int BufferView::workHeight() const
1880 {
1881         return height_;
1882 }
1883
1884
1885 void BufferView::setCursor(DocIterator const & dit)
1886 {
1887         size_t const n = dit.depth();
1888         for (size_t i = 0; i < n; ++i)
1889                 dit[i].inset().edit(d->cursor_, true);
1890
1891         d->cursor_.setCursor(dit);
1892         d->cursor_.setSelection(false);
1893 }
1894
1895
1896 bool BufferView::checkDepm(Cursor & cur, Cursor & old)
1897 {
1898         // Would be wrong to delete anything if we have a selection.
1899         if (cur.selection())
1900                 return false;
1901
1902         bool need_anchor_change = false;
1903         bool changed = d->cursor_.text()->deleteEmptyParagraphMechanism(cur, old,
1904                 need_anchor_change);
1905
1906         if (need_anchor_change)
1907                 cur.resetAnchor();
1908
1909         if (!changed)
1910                 return false;
1911
1912         d->cursor_ = cur;
1913
1914         buffer_.updateLabels();
1915
1916         updateMetrics();
1917         buffer_.changed();
1918         return true;
1919 }
1920
1921
1922 bool BufferView::mouseSetCursor(Cursor & cur, bool select)
1923 {
1924         LASSERT(&cur.bv() == this, /**/);
1925
1926         if (!select)
1927                 // this event will clear selection so we save selection for
1928                 // persistent selection
1929                 cap::saveSelection(cursor());
1930
1931         // Has the cursor just left the inset?
1932         bool leftinset = (&d->cursor_.inset() != &cur.inset());
1933         if (leftinset)
1934                 d->cursor_.fixIfBroken();
1935
1936         // FIXME: shift-mouse selection doesn't work well across insets.
1937         bool do_selection = select && &d->cursor_.anchor().inset() == &cur.inset();
1938
1939         // do the dEPM magic if needed
1940         // FIXME: (1) move this to InsetText::notifyCursorLeaves?
1941         // FIXME: (2) if we had a working InsetText::notifyCursorLeaves,
1942         // the leftinset bool would not be necessary (badcursor instead).
1943         bool update = leftinset;
1944         if (!do_selection && d->cursor_.inTexted())
1945                 update |= checkDepm(cur, d->cursor_);
1946         d->cursor_.macroModeClose();
1947
1948         d->cursor_.resetAnchor();
1949         d->cursor_.setCursor(cur);
1950         d->cursor_.boundary(cur.boundary());
1951         if (do_selection)
1952                 d->cursor_.setSelection();
1953         else
1954                 d->cursor_.clearSelection();
1955
1956         d->cursor_.finishUndo();
1957         d->cursor_.setCurrentFont();
1958         return update;
1959 }
1960
1961
1962 void BufferView::putSelectionAt(DocIterator const & cur,
1963                                 int length, bool backwards)
1964 {
1965         d->cursor_.clearSelection();
1966
1967         setCursor(cur);
1968
1969         if (length) {
1970                 if (backwards) {
1971                         d->cursor_.pos() += length;
1972                         d->cursor_.setSelection(d->cursor_, -length);
1973                 } else
1974                         d->cursor_.setSelection(d->cursor_, length);
1975         }
1976         // Ensure a redraw happens in any case because the new selection could
1977         // possibly be on the same screen as the previous selection.
1978         processUpdateFlags(Update::Force | Update::FitCursor);
1979 }
1980
1981
1982 Cursor & BufferView::cursor()
1983 {
1984         return d->cursor_;
1985 }
1986
1987
1988 Cursor const & BufferView::cursor() const
1989 {
1990         return d->cursor_;
1991 }
1992
1993
1994 pit_type BufferView::anchor_ref() const
1995 {
1996         return d->anchor_pit_;
1997 }
1998
1999
2000 bool BufferView::singleParUpdate()
2001 {
2002         Text & buftext = buffer_.text();
2003         pit_type const bottom_pit = d->cursor_.bottom().pit();
2004         TextMetrics & tm = textMetrics(&buftext);
2005         int old_height = tm.parMetrics(bottom_pit).height();
2006
2007         // make sure inline completion pointer is ok
2008         if (d->inlineCompletionPos_.fixIfBroken())
2009                 d->inlineCompletionPos_ = DocIterator();
2010
2011         // In Single Paragraph mode, rebreak only
2012         // the (main text, not inset!) paragraph containing the cursor.
2013         // (if this paragraph contains insets etc., rebreaking will
2014         // recursively descend)
2015         tm.redoParagraph(bottom_pit);
2016         ParagraphMetrics const & pm = tm.parMetrics(bottom_pit);
2017         if (pm.height() != old_height)
2018                 // Paragraph height has changed so we cannot proceed to
2019                 // the singlePar optimisation.
2020                 return false;
2021
2022         d->update_strategy_ = SingleParUpdate;
2023
2024         LYXERR(Debug::PAINTING, "\ny1: " << pm.position() - pm.ascent()
2025                 << " y2: " << pm.position() + pm.descent()
2026                 << " pit: " << bottom_pit
2027                 << " singlepar: 1");
2028         return true;
2029 }
2030
2031
2032 void BufferView::updateMetrics()
2033 {
2034         if (height_ == 0 || width_ == 0)
2035                 return;
2036
2037         Text & buftext = buffer_.text();
2038         pit_type const npit = int(buftext.paragraphs().size());
2039
2040         // Clear out the position cache in case of full screen redraw,
2041         d->coord_cache_.clear();
2042
2043         // Clear out paragraph metrics to avoid having invalid metrics
2044         // in the cache from paragraphs not relayouted below
2045         // The complete text metrics will be redone.
2046         d->text_metrics_.clear();
2047
2048         TextMetrics & tm = textMetrics(&buftext);
2049
2050         // make sure inline completion pointer is ok
2051         if (d->inlineCompletionPos_.fixIfBroken())
2052                 d->inlineCompletionPos_ = DocIterator();
2053
2054         if (d->anchor_pit_ >= npit)
2055                 // The anchor pit must have been deleted...
2056                 d->anchor_pit_ = npit - 1;
2057
2058         // Rebreak anchor paragraph.
2059         tm.redoParagraph(d->anchor_pit_);
2060         ParagraphMetrics & anchor_pm = tm.par_metrics_[d->anchor_pit_];
2061
2062         // position anchor
2063         if (d->anchor_pit_ == 0) {
2064                 int scrollRange = d->scrollbarParameters_.max - d->scrollbarParameters_.min;
2065
2066                 // Complete buffer visible? Then it's easy.
2067                 if (scrollRange == 0)
2068                         d->anchor_ypos_ = anchor_pm.ascent();
2069
2070                 // FIXME: Some clever handling needed to show
2071                 // the _first_ paragraph up to the top if the cursor is
2072                 // in the first line.
2073         }
2074         anchor_pm.setPosition(d->anchor_ypos_);
2075
2076         LYXERR(Debug::PAINTING, "metrics: "
2077                 << " anchor pit = " << d->anchor_pit_
2078                 << " anchor ypos = " << d->anchor_ypos_);
2079
2080         // Redo paragraphs above anchor if necessary.
2081         int y1 = d->anchor_ypos_ - anchor_pm.ascent();
2082         // We are now just above the anchor paragraph.
2083         pit_type pit1 = d->anchor_pit_ - 1;
2084         for (; pit1 >= 0 && y1 >= 0; --pit1) {
2085                 tm.redoParagraph(pit1);
2086                 ParagraphMetrics & pm = tm.par_metrics_[pit1];
2087                 y1 -= pm.descent();
2088                 // Save the paragraph position in the cache.
2089                 pm.setPosition(y1);
2090                 y1 -= pm.ascent();
2091         }
2092
2093         // Redo paragraphs below the anchor if necessary.
2094         int y2 = d->anchor_ypos_ + anchor_pm.descent();
2095         // We are now just below the anchor paragraph.
2096         pit_type pit2 = d->anchor_pit_ + 1;
2097         for (; pit2 < npit && y2 <= height_; ++pit2) {
2098                 tm.redoParagraph(pit2);
2099                 ParagraphMetrics & pm = tm.par_metrics_[pit2];
2100                 y2 += pm.ascent();
2101                 // Save the paragraph position in the cache.
2102                 pm.setPosition(y2);
2103                 y2 += pm.descent();
2104         }
2105
2106         LYXERR(Debug::PAINTING, "Metrics: "
2107                 << " anchor pit = " << d->anchor_pit_
2108                 << " anchor ypos = " << d->anchor_ypos_
2109                 << " y1 = " << y1
2110                 << " y2 = " << y2
2111                 << " pit1 = " << pit1
2112                 << " pit2 = " << pit2);
2113
2114         d->update_strategy_ = FullScreenUpdate;
2115
2116         if (lyxerr.debugging(Debug::WORKAREA)) {
2117                 LYXERR(Debug::WORKAREA, "BufferView::updateMetrics");
2118                 d->coord_cache_.dump();
2119         }
2120 }
2121
2122
2123 void BufferView::insertLyXFile(FileName const & fname)
2124 {
2125         LASSERT(d->cursor_.inTexted(), /**/);
2126
2127         // Get absolute path of file and add ".lyx"
2128         // to the filename if necessary
2129         FileName filename = fileSearch(string(), fname.absFilename(), "lyx");
2130
2131         docstring const disp_fn = makeDisplayPath(filename.absFilename());
2132         // emit message signal.
2133         message(bformat(_("Inserting document %1$s..."), disp_fn));
2134
2135         docstring res;
2136         Buffer buf("", false);
2137         if (buf.loadLyXFile(filename)) {
2138                 ErrorList & el = buffer_.errorList("Parse");
2139                 // Copy the inserted document error list into the current buffer one.
2140                 el = buf.errorList("Parse");
2141                 buffer_.undo().recordUndo(d->cursor_);
2142                 cap::pasteParagraphList(d->cursor_, buf.paragraphs(),
2143                                              buf.params().documentClassPtr(), el);
2144                 res = _("Document %1$s inserted.");
2145         } else {
2146                 res = _("Could not insert document %1$s");
2147         }
2148
2149         updateMetrics();
2150         buffer_.changed();
2151         // emit message signal.
2152         message(bformat(res, disp_fn));
2153         buffer_.errors("Parse");
2154 }
2155
2156
2157 Point BufferView::coordOffset(DocIterator const & dit, bool boundary) const
2158 {
2159         int x = 0;
2160         int y = 0;
2161         int lastw = 0;
2162
2163         // Addup contribution of nested insets, from inside to outside,
2164         // keeping the outer paragraph for a special handling below
2165         for (size_t i = dit.depth() - 1; i >= 1; --i) {
2166                 CursorSlice const & sl = dit[i];
2167                 int xx = 0;
2168                 int yy = 0;
2169
2170                 // get relative position inside sl.inset()
2171                 sl.inset().cursorPos(*this, sl, boundary && (i + 1 == dit.depth()), xx, yy);
2172
2173                 // Make relative position inside of the edited inset relative to sl.inset()
2174                 x += xx;
2175                 y += yy;
2176
2177                 // In case of an RTL inset, the edited inset will be positioned to the left
2178                 // of xx:yy
2179                 if (sl.text()) {
2180                         bool boundary_i = boundary && i + 1 == dit.depth();
2181                         bool rtl = textMetrics(sl.text()).isRTL(sl, boundary_i);
2182                         if (rtl)
2183                                 x -= lastw;
2184                 }
2185
2186                 // remember width for the case that sl.inset() is positioned in an RTL inset
2187                 if (i && dit[i - 1].text()) {
2188                         // If this Inset is inside a Text Inset, retrieve the Dimension
2189                         // from the containing text instead of using Inset::dimension() which
2190                         // might not be implemented.
2191                         // FIXME (Abdel 23/09/2007): this is a bit messy because of the
2192                         // elimination of Inset::dim_ cache. This coordOffset() method needs
2193                         // to be rewritten in light of the new design.
2194                         Dimension const & dim = parMetrics(dit[i - 1].text(),
2195                                 dit[i - 1].pit()).insetDimension(&sl.inset());
2196                         lastw = dim.wid;
2197                 } else {
2198                         Dimension const dim = sl.inset().dimension(*this);
2199                         lastw = dim.wid;
2200                 }
2201
2202                 //lyxerr << "Cursor::getPos, i: "
2203                 // << i << " x: " << xx << " y: " << y << endl;
2204         }
2205
2206         // Add contribution of initial rows of outermost paragraph
2207         CursorSlice const & sl = dit[0];
2208         TextMetrics const & tm = textMetrics(sl.text());
2209         ParagraphMetrics const & pm = tm.parMetrics(sl.pit());
2210         LASSERT(!pm.rows().empty(), /**/);
2211         y -= pm.rows()[0].ascent();
2212 #if 1
2213         // FIXME: document this mess
2214         size_t rend;
2215         if (sl.pos() > 0 && dit.depth() == 1) {
2216                 int pos = sl.pos();
2217                 if (pos && boundary)
2218                         --pos;
2219 //              lyxerr << "coordOffset: boundary:" << boundary << " depth:" << dit.depth() << " pos:" << pos << " sl.pos:" << sl.pos() << endl;
2220                 rend = pm.pos2row(pos);
2221         } else
2222                 rend = pm.pos2row(sl.pos());
2223 #else
2224         size_t rend = pm.pos2row(sl.pos());
2225 #endif
2226         for (size_t rit = 0; rit != rend; ++rit)
2227                 y += pm.rows()[rit].height();
2228         y += pm.rows()[rend].ascent();
2229
2230         TextMetrics const & bottom_tm = textMetrics(dit.bottom().text());
2231
2232         // Make relative position from the nested inset now bufferview absolute.
2233         int xx = bottom_tm.cursorX(dit.bottom(), boundary && dit.depth() == 1);
2234         x += xx;
2235
2236         // In the RTL case place the nested inset at the left of the cursor in
2237         // the outer paragraph
2238         bool boundary_1 = boundary && 1 == dit.depth();
2239         bool rtl = bottom_tm.isRTL(dit.bottom(), boundary_1);
2240         if (rtl)
2241                 x -= lastw;
2242
2243         return Point(x, y);
2244 }
2245
2246
2247 Point BufferView::getPos(DocIterator const & dit, bool boundary) const
2248 {
2249         if (!paragraphVisible(dit))
2250                 return Point(-1, -1);
2251
2252         CursorSlice const & bot = dit.bottom();
2253         TextMetrics const & tm = textMetrics(bot.text());
2254
2255         Point p = coordOffset(dit, boundary); // offset from outer paragraph
2256         p.y_ += tm.parMetrics(bot.pit()).position();
2257         return p;
2258 }
2259
2260
2261 bool BufferView::paragraphVisible(DocIterator const & dit) const
2262 {
2263         CursorSlice const & bot = dit.bottom();
2264         TextMetrics const & tm = textMetrics(bot.text());
2265
2266         return tm.contains(bot.pit());
2267 }
2268
2269
2270 void BufferView::cursorPosAndHeight(Point & p, int & h) const
2271 {
2272         Cursor const & cur = cursor();
2273         Font const font = cur.getFont();
2274         frontend::FontMetrics const & fm = theFontMetrics(font);
2275         int const asc = fm.maxAscent();
2276         int const des = fm.maxDescent();
2277         h = asc + des;
2278         p = getPos(cur, cur.boundary());
2279         p.y_ -= asc;
2280 }
2281
2282
2283 bool BufferView::cursorInView(Point const & p, int h) const
2284 {
2285         Cursor const & cur = cursor();
2286         // does the cursor touch the screen ?
2287         if (p.y_ + h < 0 || p.y_ >= workHeight() || !paragraphVisible(cur))
2288                 return false;
2289         return true;
2290 }
2291
2292
2293 void BufferView::draw(frontend::Painter & pain)
2294 {
2295         if (height_ == 0 || width_ == 0)
2296                 return;
2297         LYXERR(Debug::PAINTING, "\t\t*** START DRAWING ***");
2298
2299         Text & text = buffer_.text();
2300         TextMetrics const & tm = d->text_metrics_[&text];
2301         int const y = tm.first().second->position();
2302         PainterInfo pi(this, pain);
2303
2304         switch (d->update_strategy_) {
2305
2306         case NoScreenUpdate:
2307                 // If no screen painting is actually needed, only some the different
2308                 // coordinates of insets and paragraphs needs to be updated.
2309                 pi.full_repaint = true;
2310                 pi.pain.setDrawingEnabled(false);
2311                 tm.draw(pi, 0, y);
2312                 break;
2313
2314         case SingleParUpdate:
2315                 pi.full_repaint = false;
2316                 // In general, only the current row of the outermost paragraph
2317                 // will be redrawn. Particular cases where selection spans
2318                 // multiple paragraph are correctly detected in TextMetrics.
2319                 tm.draw(pi, 0, y);
2320                 break;
2321
2322         case DecorationUpdate:
2323                 // FIXME: We should also distinguish DecorationUpdate to avoid text
2324                 // drawing if possible. This is not possible to do easily right now
2325                 // because of the single backing pixmap.
2326
2327         case FullScreenUpdate:
2328                 // The whole screen, including insets, will be refreshed.
2329                 pi.full_repaint = true;
2330
2331                 // Clear background.
2332                 pain.fillRectangle(0, 0, width_, height_,
2333                         pi.backgroundColor(&buffer_.inset()));
2334
2335                 // Draw everything.
2336                 tm.draw(pi, 0, y);
2337
2338                 // and possibly grey out below
2339                 pair<pit_type, ParagraphMetrics const *> lastpm = tm.last();
2340                 int const y2 = lastpm.second->position() + lastpm.second->descent();
2341                 if (y2 < height_)
2342                         pain.fillRectangle(0, y2, width_, height_ - y2, Color_bottomarea);
2343                 break;
2344         }
2345         LYXERR(Debug::PAINTING, "\n\t\t*** END DRAWING  ***");
2346
2347         // The scrollbar needs an update.
2348         updateScrollbar();
2349
2350         // Normalize anchor for next time
2351         pair<pit_type, ParagraphMetrics const *> firstpm = tm.first();
2352         pair<pit_type, ParagraphMetrics const *> lastpm = tm.last();
2353         for (pit_type pit = firstpm.first; pit <= lastpm.first; ++pit) {
2354                 ParagraphMetrics const & pm = tm.parMetrics(pit);
2355                 if (pm.position() + pm.descent() > 0) {
2356                         d->anchor_pit_ = pit;
2357                         d->anchor_ypos_ = pm.position();
2358                         break;
2359                 }
2360         }
2361         LYXERR(Debug::PAINTING, "Found new anchor pit = " << d->anchor_pit_
2362                 << "  anchor ypos = " << d->anchor_ypos_);
2363 }
2364
2365
2366 void BufferView::message(docstring const & msg)
2367 {
2368         if (d->gui_)
2369                 d->gui_->message(msg);
2370 }
2371
2372
2373 void BufferView::showDialog(string const & name)
2374 {
2375         if (d->gui_)
2376                 d->gui_->showDialog(name, string());
2377 }
2378
2379
2380 void BufferView::showDialog(string const & name,
2381         string const & data, Inset * inset)
2382 {
2383         if (d->gui_)
2384                 d->gui_->showDialog(name, data, inset);
2385 }
2386
2387
2388 void BufferView::updateDialog(string const & name, string const & data)
2389 {
2390         if (d->gui_)
2391                 d->gui_->updateDialog(name, data);
2392 }
2393
2394
2395 void BufferView::setGuiDelegate(frontend::GuiBufferViewDelegate * gui)
2396 {
2397         d->gui_ = gui;
2398 }
2399
2400
2401 // FIXME: Move this out of BufferView again
2402 docstring BufferView::contentsOfPlaintextFile(FileName const & fname)
2403 {
2404         if (!fname.isReadableFile()) {
2405                 docstring const error = from_ascii(strerror(errno));
2406                 docstring const file = makeDisplayPath(fname.absFilename(), 50);
2407                 docstring const text =
2408                   bformat(_("Could not read the specified document\n"
2409                             "%1$s\ndue to the error: %2$s"), file, error);
2410                 Alert::error(_("Could not read file"), text);
2411                 return docstring();
2412         }
2413
2414         if (!fname.isReadableFile()) {
2415                 docstring const file = makeDisplayPath(fname.absFilename(), 50);
2416                 docstring const text =
2417                   bformat(_("%1$s\n is not readable."), file);
2418                 Alert::error(_("Could not open file"), text);
2419                 return docstring();
2420         }
2421
2422         // FIXME UNICODE: We don't know the encoding of the file
2423         docstring file_content = fname.fileContents("UTF-8");
2424         if (file_content.empty()) {
2425                 Alert::error(_("Reading not UTF-8 encoded file"),
2426                              _("The file is not UTF-8 encoded.\n"
2427                                "It will be read as local 8Bit-encoded.\n"
2428                                "If this does not give the correct result\n"
2429                                "then please change the encoding of the file\n"
2430                                "to UTF-8 with a program other than LyX.\n"));
2431                 file_content = fname.fileContents("local8bit");
2432         }
2433
2434         return normalize_c(file_content);
2435 }
2436
2437
2438 void BufferView::insertPlaintextFile(FileName const & f, bool asParagraph)
2439 {
2440         docstring const tmpstr = contentsOfPlaintextFile(f);
2441
2442         if (tmpstr.empty())
2443                 return;
2444
2445         Cursor & cur = cursor();
2446         cap::replaceSelection(cur);
2447         buffer_.undo().recordUndo(cur);
2448         if (asParagraph)
2449                 cur.innerText()->insertStringAsParagraphs(cur, tmpstr, cur.current_font);
2450         else
2451                 cur.innerText()->insertStringAsLines(cur, tmpstr, cur.current_font);
2452
2453         updateMetrics();
2454         buffer_.changed();
2455 }
2456
2457
2458 docstring const & BufferView::inlineCompletion() const
2459 {
2460         return d->inlineCompletion_;
2461 }
2462
2463
2464 size_t const & BufferView::inlineCompletionUniqueChars() const
2465 {
2466         return d->inlineCompletionUniqueChars_;
2467 }
2468
2469
2470 DocIterator const & BufferView::inlineCompletionPos() const
2471 {
2472         return d->inlineCompletionPos_;
2473 }
2474
2475
2476 bool samePar(DocIterator const & a, DocIterator const & b)
2477 {
2478         if (a.empty() && b.empty())
2479                 return true;
2480         if (a.empty() || b.empty())
2481                 return false;
2482         if (a.depth() != b.depth())
2483                 return false;
2484         return &a.innerParagraph() == &b.innerParagraph();
2485 }
2486
2487
2488 void BufferView::setInlineCompletion(Cursor & cur, DocIterator const & pos,
2489         docstring const & completion, size_t uniqueChars)
2490 {
2491         uniqueChars = min(completion.size(), uniqueChars);
2492         bool changed = d->inlineCompletion_ != completion
2493                 || d->inlineCompletionUniqueChars_ != uniqueChars;
2494         bool singlePar = true;
2495         d->inlineCompletion_ = completion;
2496         d->inlineCompletionUniqueChars_ = min(completion.size(), uniqueChars);
2497
2498         //lyxerr << "setInlineCompletion pos=" << pos << " completion=" << completion << " uniqueChars=" << uniqueChars << std::endl;
2499
2500         // at new position?
2501         DocIterator const & old = d->inlineCompletionPos_;
2502         if (old != pos) {
2503                 //lyxerr << "inlineCompletionPos changed" << std::endl;
2504                 // old or pos are in another paragraph?
2505                 if ((!samePar(cur, pos) && !pos.empty())
2506                     || (!samePar(cur, old) && !old.empty())) {
2507                         singlePar = false;
2508                         //lyxerr << "different paragraph" << std::endl;
2509                 }
2510                 d->inlineCompletionPos_ = pos;
2511         }
2512
2513         // set update flags
2514         if (changed) {
2515                 if (singlePar && !(cur.disp_.update() & Update::Force))
2516                         cur.updateFlags(cur.disp_.update() | Update::SinglePar);
2517                 else
2518                         cur.updateFlags(cur.disp_.update() | Update::Force);
2519         }
2520 }
2521
2522 } // namespace lyx