1069898 - ctrl drag drop text in editor windows does always move instead of copy

Status: UNCONFIRMED

(DevTools :: Source Editor, defect)

Description

[gnblizz]

User Agent: Mozilla/5.0 (Windows NT 5.1; rv:32.0) Gecko/20100101 Firefox/32.0
Build ID: 20140911151253

Steps to reproduce:

1. open style editor in developer tools
2. select some text (wait a bit, if using the mouse)
3. click onto selection and hold mouse button
4. move mouse within window and press CTRL
5. release mouse button, then CTRL


Actual results:

The whole time the GUI gives the correct feedback, but the text selection is moved.


Expected results:

The text should be copied.
Note: This applies to other editors also. (e.g. stylish)
Note: if extensions.stylish.editor is 1 it works fine.
See also: https://forum.userstyles.org/discussion/43196/bug-in-edit-view-during-drag-and-drop-actions

Comment 1

[Patrick Brosset <:pbro>]

Sounds like a code mirror issue then.

Comment 2

[gnblizz]

Well, I have downloaded and tested codemirror-5.16.0 as described in http://codemirror.net/doc/manual.html#usage and the behavior is exactly the same.