* BufferView::workAreaDispatch(): restore anchor when mouse hovering. The problem is that scrollbar update modified the offset_ref_.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@20482 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Abdelrazak Younes 2007-09-25 08:09:11 +00:00
parent fb6af9a08a
commit 8df72fdd0f

View File

@ -1126,6 +1126,9 @@ bool BufferView::workAreaDispatch(FuncRequest const & cmd0)
int y2 = lastpm.second->position() + lastpm.second->descent();
metrics_info_ = ViewMetricsInfo(firstpm.first, lastpm.first, y1, y2,
FullScreenUpdate, buffer_.text().paragraphs().size());
// Reinitialize anchor to first pit.
anchor_ref_ = firstpm.first;
offset_ref_ = -y1;
}
// This event (moving without mouse click) is not passed further.