Add Opera Mobile UA to the mobile list

Add Opera Mobile UA to the mobile list.
Make sure the editor is re-focused after a no-op drag

Closes #1168
[formatting addon] Don't line-break around inline tags