Etiket: how to make a widget bigger