>>>>> "Kevin" == Kevin Chu <[EMAIL PROTECTED]> writes:
Kevin> Martin wrote:
>> today I wanted to replace a word by another. OK, I should do it
>> with replace, but it was only one word! The strange thing was: I
>> marked a word by double-clicking. And then I didn't find a way to
>> delete the word. Whatever I did, Backspace or Delete, it was just
>> Cut. Why? Is there a sense? Sorry to say it, but in Word you can
>> copy a word and then you can replace another by marking it with
>> double-click and then do a Copy. I think this is very useful, isn't
>> it? I'm using 1.1.2.
Kevin> In 1.0.4 this is covered in the known-bugs document. I guess it
Kevin> isn't fixed yet.
It is unfortunately not yet fixed. I took a look at it recently, and
then gave up because the function which does the work is real
spaghetti code. It should however not be too difficult to do...
JMarc
