Scott Kostyshak
2014-05-23 21:11:18 UTC
When "Automatic update" is checked, the source view updates whenever I
move the cursor. I think it would be nice if this did not happen when
moving the cursor within the same paragraph (when "Current paragraph"
is selected), unless we plan on tracking where in a paragraph the user
is and scroll accordingly. Similarly, when "Complete Source" is
selected, we should not update unless there's a change to the
document.
I'm guessing this is inefficient but also annoying because if I had
scrolled on the source window it will jump back if I move the cursor.
Does anyone else think this is something worth addressing? If so, any
ideas on implementation?
Inside of ViewSourceWidget::updateView is it possible to tell whether
it was called because of a cursor movement or because of an
insertion/edit? For example, can I just check whether the buffer is
dirty and then compare the beg and end CursorSlices to their previous
values to see whether we have changed paragraphs since the last time
updateView was called?
Scott
move the cursor. I think it would be nice if this did not happen when
moving the cursor within the same paragraph (when "Current paragraph"
is selected), unless we plan on tracking where in a paragraph the user
is and scroll accordingly. Similarly, when "Complete Source" is
selected, we should not update unless there's a change to the
document.
I'm guessing this is inefficient but also annoying because if I had
scrolled on the source window it will jump back if I move the cursor.
Does anyone else think this is something worth addressing? If so, any
ideas on implementation?
Inside of ViewSourceWidget::updateView is it possible to tell whether
it was called because of a cursor movement or because of an
insertion/edit? For example, can I just check whether the buffer is
dirty and then compare the beg and end CursorSlices to their previous
values to see whether we have changed paragraphs since the last time
updateView was called?
Scott