- Do a HyperSearch.
- Select a node(s) in HyperSearch Results.
- Copy it. I use Ctrl+C here.
- Paste it into a buffer. I use Ctrl+V here.
Now there are CR(0x0D) characters at the ends of pasted lines. You can
find it by moving cursor at an end of line, or by using WhiteSpace
jEdit trunk r19118 (4.5pre1)
This also happens on copy&paste from Console and ErrorList plugins.
I verified that this also happens with jEdit 4.4.0, and doesn't happen
with jEdit 4.3.2 .