x performance problem in webkitgtk

[NoiseEHC]

Hi!

Now that I am developing a HTML editor application, noticed a 
performance problem on xo1.75 latest (32011).

The symptom is that text selection is very-very slow in the editor. You 
can test it by opening a long page from wikipedia in epiphany, selecting 
some text with the mouse then pressing shift+up or shift+down. Looking 
at 'top -d 0.3 -p <pid of x>' shows that while the browser is thinking 
about the selection, the X process consumes all CPU, then the webview is 
updated. The same does not happen if you just scroll the webview. I have 
installed firefox and it does not have the same problem either.

Could you test it on XO-1 and XO-1.5, please?

I think fixing this problem is quite important as it practically makes 
all text editing web applications unfeasible on the XO...

Thanks,
Andrew