Hi again Daniel,
Attached is a set of tools that handle double clicking. Shift clicking after double clicking works as well.
Please let us know if this does what you want it to do.
A few pointers about how the selection was done (in case you want to edit it, or for future reference).
Doing Text selection on the PDFViewWPF (or any of our PDFViewCtrls) with rectangular selection always select a whole word. So what I did was I added an override to the DoubleClickHandler in the TextSelectStructural tool, which did a text selection on a very small rectangle at that spot. If there's a word there, it will be selected. (We use the same selection method when users tap or long press on text on our mobile platforms to select the first word).
The trick now is to make sure that the other events, such as MouseLeftButtonDown/Up don't do anything they shouldn't be doing after a double click.
Best Regards,
Tomas Hofmann