a plugin for gwtquery to resize  widgets