16 Jul
2007
16 Jul
'07
9:21 a.m.
On 9. Jul 2007, at 11:04, Alex Greif wrote:
[...]
- copy
- doubleclick ddd in the "Replace:"
- paste
bug: a blank is inserted before the pasted bbb in the "Replace:" field
This is a system-wide bug. Basically double click a word to select and copy it, now paste it after a “punctuation” character, and Cocoa does the “smart insert” where it puts a space before the paste.
You can file such bugs here: https://bugreport.apple.com/