>>>>> "Richard" == Richard E Hawkins <[EMAIL PROTECTED]> writes:
Richard> I have *no* idea why I never noticed this
Richard> before. Double-click a word to select, and begin typing its
Richard> replacement. The trailing space is lost, running the new
Richard> word into the next word.
Richard> The various versions of insets/markers would all solve this,
Richard> I think, as long as we're certain that they're invoked in a
Richard> text substitution.
I think we have to live with that now, and aim for a less broken
cut-and-paste in 1.1.x. Asger has ideas on that.
JMarc
