[Dillo-dev] Re: patch: hiding widgets