Crash on "delete" > related to mouse pointer ???

With some text selected, I have had many crashes today, when pressing the “delete” key.

Now, I notice that this happens only when the mouse pointer is not over the editor pane while I’m deleting.

Hope this can help…