[Dillo-dev] [patch]: html.cc: remove DilloHtmlInput::widget

On Fri, May 30, 2008 at 03:22:50AM +0100, Jeremy Henty wrote:

It turns out that the embed and widget members of the DilloHtmlInput class are always the same, so we can remove widget. Patch attached.

Committed. -- Cheers Jorge.-