patch: Re: [Dillo-dev] an experiment in widget coloring (with code)

Johannes wrote:

BTW: have you tried opening that page in dillo1 - it takes ages :-)

Wow... Measuring by clock time: dillo-fltk 0:07 /* clear_double_buffer(); */ dillo-fltk 1:03 clear_double_buffer(); dillo-0.8.1 2:20 firefox 2:35 Paging pretty hard the last 30 seconds. I did not dare to use the page after it finished. This does not count the other 22 seconds it takes just to start up for me.