In the editor's "Find" field, it is possible to highlight text and then remove it with either the <Backspace> or <Delete> keys. So far, so good.

However, in the "Replace" field, highlighted text may only be removed with the <Backspace> key. If <Delete> is pressed, a black box appears asking if the entire file should be deleted. Yikes. The box looks something like the following:

Let me know if you would like info on browser type/version, OS, etc.

Also, I'd like to know if this level of bug is too far down in the noise to bother reporting in the future.

(BTW - This may be related to what was posted a while ago: http://mbed.org/forum/bugs-suggestions/topic/1510/?page=1#comment-7467 )

Hi Hexley,

Thanks for the report. I've added it to our list.

Browser type/version and OS are always helpful, as the different browsers often hide different corner case behaviour.

And this level of bug is certainly not too far in the noise. I'd like to know about anything like this! Whilst for minor things we're unlikely to do an immediate live fix, they get ticketed and we aim to squish them all...

Simon

This bug was seen while running Firefox 3.6.13 under Windows XP Pro SP 3.

Should be fixed in beta; thanks for the report!

Yep, it works. Thanks!