[Dillo-dev] patch: more widget coloring

By the way, I was looking at that big page of inputs with differently-colored backgrounds that I made in February... At the time, I wrote that you guys had gotten the page down to 0:06 to load with clear_double_buffer(), immediate to load without it, and 0:09 to destroy the page.

The good news is that it now takes the same amount of time with or without clear_double_buffer(), but the bad news is that it takes 0:12 to load and 0:48 to close.

If I assume that you can only have one instance of a widget in a view and add a break to the loop in FltkWidgetView::removeFltkWidget() once it finds it, the 0:48 becomes 0:03.