[Dillo-dev] [patch] avoid complete redraws for child widget updates