Just tried on their demo page, with and without "source" view. Was not able to reproduce.
As always, my browser info:
Version Opera 12.00
Build 1467
Platform Linux
System x86_64, 3.2.0-35-generic
Browser identification
Opera/9.80 (X11; Linux x86_64; U; en-GB) Presto/2.10.289 Version/12.00
I should probably note that I always keep the rich-text editor turn off, and I only see this when editing a post. Making a new post does not cause the above bugs to trigger.
Edit:Neither does it when I'm resizing the editor to provoke the scrollbar.
OK.. Now I can't provoke the last bug at all. :\ I'll let you know if I find a post which triggers it. The first one (double-click select) still happens with this post.
If I use the "full editor" it works as intended, at least with the double-click selection. Not sure about the scroll issues, as I haven't been able to reproduce that yet.
Annoying, as it seems I encountered it on an almost daily basis before.
Edited by Christian F., 11 January 2013 - 12:11 AM.
Keeping it simple.