Neil Hodgson
11 years ago
There has been a bug with caret up and down movement on Cocoa with the caret moving to line ends or skipping lines instead of moving vertically. I thought this was caused by a float truncation issue or similar when converting between locations in the document and screen positions but it turns out it is caused by scrolling. An extra line of scrolling was allowed on Cocoa but some parts of the code didn't take this extra line into account.
I can not remember any reason for this extra line although its possible it was added to ensure the final partial line was visible when the window was not an integral number of lines high. There is another term, clipExtra, that should handle the partial line.
A change that reduces scrollable height by 1 line is now committed, but has only been tested in a limited range of situations. Other Cocoa users should check that scrolling still works correctly for them.
https://sourceforge.net/p/scintilla/code/ci/46165bf9a4bfd50b694e82081efee10e399b1073/
Neil
I can not remember any reason for this extra line although its possible it was added to ensure the final partial line was visible when the window was not an integral number of lines high. There is another term, clipExtra, that should handle the partial line.
A change that reduces scrollable height by 1 line is now committed, but has only been tested in a limited range of situations. Other Cocoa users should check that scrolling still works correctly for them.
https://sourceforge.net/p/scintilla/code/ci/46165bf9a4bfd50b694e82081efee10e399b1073/
Neil
--
You received this message because you are subscribed to the Google Groups "scintilla-interest" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scintilla-interest+***@googlegroups.com.
To post to this group, send email to scintilla-***@googlegroups.com.
Visit this group at http://groups.google.com/group/scintilla-interest.
For more options, visit https://groups.google.com/groups/opt_out.
You received this message because you are subscribed to the Google Groups "scintilla-interest" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scintilla-interest+***@googlegroups.com.
To post to this group, send email to scintilla-***@googlegroups.com.
Visit this group at http://groups.google.com/group/scintilla-interest.
For more options, visit https://groups.google.com/groups/opt_out.