On 7/21/11 4:15 PM, Aryeh Gregor wrote:
I can say that it's very common and critical for editors.
I'd really like numbers. Having looked at the Gecko editor code in the past, I don't share your assurance that this is how it works....
That said, if you point to a workload, I (or anyone else; it's open source!) can probably generate some numbers by instrumenting the Gecko DOM. But I need a workload.
-Boris
