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

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