I'm using the SyntaxEditor with the EditorSearchView. Currently I have version 2013.2 build 0591.
The problem is that the selection behaviour is a little unexpected after an undo following a Replace All.
Here are the steps:
1. In the editor put just three words of your choosing such as "camel camel camel"
2. Select the second word (just double click it).
3. In the EditorSearchView do a Replace All replacing "camel" with "dromedary". (I think the replace with text needs to be more characters than the find what)
4. Ctrl-z (undo)
Notice the selection includes the second word plus part of the third word.
I'm not certain what should happen but this looks a bit odd and is disturbing our customers.