Added widget header buttons, and fixed WidgetProxy to always call getWidgetProxy before every call (it does not always work otherwise)