anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-09-19 14:30:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Streamline BufferView::scrollToCursor

Browse Source 
There are two parts in this patch :

1/ in the part where the cursor is already visible, replace calls to
scroll/scrollUp/scrollDown by direct manipulation of the anchor
vertical position. Reasoning in terms of new position rather than
amount of pixels to scroll makes work easier.

2/ in the part where the cursor is set to a new TOP or CENTER
position, move the code around in order to prepare for new ScrollType
enums.

No change intended, except that CENTER now relies on the contents
dimension of the row that holds the iterator, that is without spacing
and labels.
This commit is contained in:
Jean-Marc Lasgouttes 2024-09-03 16:21:32 +02:00
parent 86d2313ce3
commit f52842d289
1 changed files with 34 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

62
src/BufferView.cpp
View File

@ -1053,6 +1053,7 @@ bool BufferView::scrollToCursor(DocIterator const & dit, ScrollType how)
bot_pit = max_pit;
}
// Add surrounding paragraph metrics to scroll properly with cursor up/down
if (bot_pit == tm.first().first - 1)
tm.newParMetricsUp();
else if (bot_pit == tm.last().first + 1)
@ -1068,7 +1069,8 @@ bool BufferView::scrollToCursor(DocIterator const & dit, ScrollType how)
textMetrics(cs.text()).parMetrics(cs.pit());
Dimension const & row_dim =
inner_pm.getRow(cs.pos(), dit.boundary()).dim();
int scrolled = 0;
// Assume first that we do not have to scroll anything
int ynew = ypos;
// We try to visualize the whole row, if the row height is larger than
// the screen height, we scroll to a heuristic value of height_ / 4.
@ -1076,51 +1078,55 @@ bool BufferView::scrollToCursor(DocIterator const & dit, ScrollType how)
// for a row in the inset that can be visualized completely.
if (row_dim.height() > height_) {
if (ypos < defaultRowHeight())
scrolled = scroll(ypos - height_ / 4);
ynew = height_ / 4;
else if (ypos > height_ - defaultRowHeight())
scrolled = scroll(ypos - 3 * height_ / 4);
ynew = 3 * height_ / 4;
}
// If the top part of the row falls of the screen, we scroll
// up to align the top of the row with the top of the screen.
else if (ypos - row_dim.ascent() < 0 && ypos < height_) {
int const ynew = row_dim.ascent();
scrolled = scrollUp(ynew - ypos);
}
else if (ypos - row_dim.ascent() < 0 && ypos < height_)
ynew = row_dim.ascent();
// If the bottom of the row falls of the screen, we scroll down.
else if (ypos + row_dim.descent() > height_ && ypos > 0) {
int const ynew = height_ - row_dim.descent();
scrolled = scrollDown(ypos - ynew);
}
else if (ypos + row_dim.descent() > height_ && ypos > 0)
ynew = height_ - row_dim.descent();
// else, nothing to do, the cursor is already visible so we just return.
return scrolled != 0;
d->anchor_ypos_ += ynew - ypos;
return ynew != ypos;
}
// fix inline completion position
if (d->inlineCompletionPos_.fixIfBroken())
d->inlineCompletionPos_ = DocIterator();
tm.redoParagraph(bot_pit);
int const offset = coordOffset(dit).y;
pit_type const old_pit = d->anchor_pit_;
d->anchor_pit_ = bot_pit;
int const old_ypos = d->anchor_ypos_;
if (!tm.contains(bot_pit))
tm.redoParagraph(bot_pit);
int const offset = coordOffset(dit).y;
CursorSlice const & cs = dit.innerTextSlice();
ParagraphMetrics const & inner_pm =
textMetrics(cs.text()).parMetrics(cs.pit());
Dimension const & row_dim =
inner_pm.getRow(cs.pos(), dit.boundary()).dim();
// dimension of the contents of the text row that holds dit
Dimension const & row_dim = inner_pm.getRow(cs.pos(), dit.boundary()).contents_dim();
int const old_ypos = d->anchor_ypos_;
d->anchor_ypos_ = - offset + row_dim.ascent();
if (how == SCROLL_CENTER)
d->anchor_ypos_ += height_/2 - row_dim.height() / 2;
else if (offset > height_)
d->anchor_ypos_ = height_ - offset - defaultRowHeight();
else
d->anchor_ypos_ = defaultRowHeight() * 2;
// Compute typical ypos values.
int const ypos_center = height_/2 - row_dim.height() / 2 + row_dim.ascent() - offset;
int const ypos_top = (offset > height_) ? height_ - offset - defaultRowHeight()
: defaultRowHeight() * 2;
// Select the right one.
d->anchor_pit_ = bot_pit;
switch(how) {
case SCROLL_CENTER:
d->anchor_ypos_ = ypos_center;
break;
case SCROLL_TOP:
case SCROLL_VISIBLE:
d->anchor_ypos_ = ypos_top;
// more to come: BOTTOM, TOGGLE
}
return d->anchor_ypos_ != old_ypos || d->anchor_pit_ != old_pit;
}