This changes the ctrl-right arrow behavior slightly, but fixes the bug so
punctuation is not selected on a double click. ctrl-right arrow stops on
punctuation.
richie
? patch
Index: fv_View.cpp
===================================================================
RCS file: /u2/cvsroot/abi/src/text/fmt/xp/fv_View.cpp,v
retrieving revision 1.216
diff -r1.216 fv_View.cpp
751c751,758
<
---
>
> // Needed so ctrl-right arrow will work
> for (; offset < pgb.getLength(); offset++)
> {
> if (!UT_isWordDelimiter(pSpan[offset]))
> break;
> }
>
758a766,767
> else if (pSpan[offset] != ' ')
> break;
