Opera looses focus after drop

[peterkroon]

• Open Opera browser, get latest here: http://www.opera.com/
• Go to: http://codemirror.net/mode/less/index.html
• Place cursor via mouse at the beginning of line 5
• Drag via mouse downwards 'till the end of line 14
• Now, drag the selection from right to left and drop it on itself
• The selection should remain. Which it does. Good.
• To unselect the selection place the cursor via mouse on line 1 at the far right of the editor where there is no text/code
• Perform a click
• Selection is now gone.
• Slowly move your cursor via mouse over the text/code, you'll notice that the cursor remains default instead of text.
• Move the cursor over the gutter and back into the editor you'll notice that the cursor looks like text when moving over the text/code. Focus is back.

A double click would bring back focus as well when undoing the selection.

Opera 12.12 stable.
w7 32 ultimate

[marijnh]

This seems to also have happened in other browsers. Attached patch should help.

[peterkroon]

Not fixed, still occurs in Opera.

[marijnh]

Not for me. Could you write another description that only involves relevant steps, distinguishes between mouse cursor and text cursor, and uses another demo page, since the less theme doesn't color the selection differently when the editor is deselected, and is thus needlessly obscuring the situation.

[peterkroon]

• Go to: http://codemirror.net/demo/theme.html?solarized%20dark
• Make a selection en drop it on it self
• Same result as on the LESS mode.

[peterkroon]

The editor looses focus as well regarding of selection color.

[marijnh]

For me, the editor is perfectly well selected after doing this in Opera, in both 12.11 and 12.12.