]> git.lyx.org Git - lyx.git/blobdiff - src/BufferView.cpp
Disable setting vertical lines when using a formal table
[lyx.git] / src / BufferView.cpp
index 0006be45ae2a07aab59e1ab2fbe382f208c0b824..762fe78ec9bd6128d8f8f495beb65f81c5ee46e0 100644 (file)
@@ -46,6 +46,7 @@
 #include "Paragraph.h"
 #include "ParagraphParameters.h"
 #include "ParIterator.h"
+#include "RowPainter.h"
 #include "Session.h"
 #include "Text.h"
 #include "TextClass.h"
@@ -234,7 +235,9 @@ struct BufferView::Private
                mouse_position_cache_(),
                bookmark_edit_position_(-1), gui_(0),
                horiz_scroll_offset_(0)
-       {}
+       {
+               xsel_cache_.set = false;
+       }
 
        ///
        ScrollbarParameters scrollbarParameters_;
@@ -471,7 +474,7 @@ void BufferView::processUpdateFlags(Update::flags flags)
                        return;
                }
                // no screen update is needed in principle, but this
-               // could change if cursor row needs scrolling.
+               // could change if cursor row needs horizontal scrolling.
                d->update_strategy_ = NoScreenUpdate;
                buffer_.changed(false);
                return;
@@ -1858,6 +1861,7 @@ void BufferView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                        cur.pit() = cur.lastpit();
                        cur.pos() = cur.lastpos();
                }
+               cur.setCurrentFont();
                dr.screenUpdate(Update::Force);
                break;
 
@@ -2247,6 +2251,15 @@ void BufferView::mouseEventDispatch(FuncRequest const & cmd0)
 
        // Build temporary cursor.
        Inset * inset = d->text_metrics_[&buffer_.text()].editXY(cur, cmd.x(), cmd.y());
+       if (inset) {
+               // If inset is not editable, cur.pos() might point behind the
+               // inset (depending on cmd.x(), cmd.y()). This is needed for
+               // editing to fix bug 9628, but e.g. the context menu needs a
+               // cursor in front of the inset.
+               if (inset->hasSettings() &&
+                   cur.nextInset() != inset && cur.prevInset() == inset)
+                       cur.backwardPos();
+       }
 
        // Put anchor at the same position.
        cur.resetAnchor();
@@ -2354,13 +2367,19 @@ int BufferView::scrollUp(int offset)
 
 
 void BufferView::setCursorFromRow(int row)
+{
+       setCursorFromRow(row, buffer_.texrow());
+}
+
+
+void BufferView::setCursorFromRow(int row, TexRow const & texrow)
 {
        int tmpid;
        int tmppos;
        pit_type newpit = 0;
        pos_type newpos = 0;
 
-       buffer_.texrow().getIdFromRow(row, tmpid, tmppos);
+       texrow.getIdFromRow(row, tmpid, tmppos);
 
        bool posvalid = (tmpid != -1);
        if (posvalid) {
@@ -2830,8 +2849,7 @@ Point BufferView::coordOffset(DocIterator const & dit) const
                        // FIXME (Abdel 23/09/2007): this is a bit messy because of the
                        // elimination of Inset::dim_ cache. This coordOffset() method needs
                        // to be rewritten in light of the new design.
-                       Dimension const & dim = parMetrics(dit[i - 1].text(),
-                               dit[i - 1].pit()).insetDimension(&sl.inset());
+                       Dimension const & dim = coordCache().getInsets().dim(&sl.inset());
                        lastw = dim.wid;
                } else {
                        Dimension const dim = sl.inset().dimension(*this);
@@ -2981,29 +2999,71 @@ void BufferView::checkCursorScrollOffset(PainterInfo & pi)
                return;
        ParagraphMetrics const & pm = tm.parMetrics(rowSlice.pit());
        Row const & row = pm.getRow(rowSlice.pos(),
-                                   d->cursor_.boundary()
-                                   && rowSlice == d->cursor_.top());
+                                   d->cursor_.boundary() && rowSlice == d->cursor_.top());
        rowSlice.pos() = row.pos();
 
        // Set the row on which the cursor lives.
        setCurrentRowSlice(rowSlice);
 
        // Current x position of the cursor in pixels
-       int const cur_x = getPos(d->cursor_).x_;
+       int cur_x = getPos(d->cursor_).x_;
+
+       // If cursor offset is left margin and offset is not the leftmost
+       // position of the row, there is a cache problem.
+       if (cur_x == row.left_margin && !row.empty()
+           && d->cursor_.pos() != row.front().left_pos()) {
+               /** FIXME: the code below adds an extraneous computation of
+                * inset positions, and can therefore be bad for performance
+                * (think for example about a very large tabular inset.
+                * Redawing the row where it is means redrawing the whole
+                * screen).
+                *
+                * The bug that this fixes is the following: assume that there
+                * is a very large math inset. Upon entering the inset, when
+                * pressing `End', the row is not scrolled and the cursor is
+                * not visible. The extra row computation makes sure that the
+                * inset positions are correctly computed and set in the
+                * cache. This would not happen if we did not have two-stage
+                * drawing.
+                *
+                * A proper fix should be found and this code should be removed.
+                */
+               // Force the recomputation of inset positions
+               bool const drawing = pi.pain.isDrawingEnabled();
+               pi.pain.setDrawingEnabled(false);
+               // No need to care about vertical position.
+               RowPainter rp(pi, buffer().text(), d->cursor_.bottom().pit(), row,
+                             -d->horiz_scroll_offset_, 0);
+               rp.paintText();
+               pi.pain.setDrawingEnabled(drawing);
+
+               // Recompute current Current x position of the cursor in pixels
+               cur_x = getPos(d->cursor_).x_;
+       }
 
        // Horizontal scroll offset of the cursor row in pixels
        int offset = d->horiz_scroll_offset_;
-       int const MARGIN = Length(2, Length::EM).inPixels(pi.base);
-       if (cur_x < offset + MARGIN) {
-               // scroll right
-               offset = cur_x - MARGIN;
-       } else if (cur_x > offset + workWidth() - MARGIN) {
-               // scroll left
-               offset = cur_x - workWidth() + MARGIN;
+       int const MARGIN = 2 * theFontMetrics(d->cursor_.real_current_font).em()
+                          + row.right_margin;
+       if (row.width() <= workWidth() - row.right_margin) {
+               // Row is narrower than the work area, no offset needed.
+               offset = 0;
+       } else {
+               if (cur_x - offset < MARGIN) {
+                       // cursor would be too far right
+                       offset = cur_x - MARGIN;
+               } else if (cur_x - offset > workWidth() - MARGIN) {
+                       // cursor would be too far left
+                       offset = cur_x - workWidth() + MARGIN;
+               }
+               // Correct the offset to make sure that we do not scroll too much
+               if (offset < 0)
+                       offset = 0;
+               if (row.width() - offset < workWidth() - row.right_margin)
+                       offset = row.width() - workWidth() + row.right_margin;
        }
 
-       if (offset < row.left_margin || row.width() <= workWidth())
-               offset = 0;
+       //lyxerr << "cur_x=" << cur_x << ", offset=" << offset << ", row.wid=" << row.width() << ", margin=" << MARGIN << endl;
 
        if (offset != d->horiz_scroll_offset_)
                LYXERR(Debug::PAINTING, "Horiz. scroll offset changed from "