20/06/2013 13:01, Stephan Witt:
Am 20.06.2013 um 12:33 schrieb Stephan Witt <st.w...@gmx.net>:
Am 20.06.2013 um 10:37 schrieb Jean-Marc Lasgouttes <lasgout...@lyx.org>:
What does OSX do?
It moves to the very end of the last paragraph and does the same while
extending the selection.
This could be part of our mac-like cursor handling.
Yes, indeed. It should be part of it, IMHO.
This patch would do it. It's a replacement of Scott's patch.
I like the patch. Tow remarks:
* be acreful about indetation, use tabs instead of spaces
* are you sure that the nested if() do the right thing in all cases?
JMarc