NS_RELEASE(NS_STATIC_CAST(nsIWidget*,widget));
NS_RELEASE(widget);
void handle_size_allocate(GtkWidget *w, GtkAllocation *alloc, gpointer p){  nsWindow *widget = (nsWindow *)p;  nsSizeEvent event;  InitAllocationEvent(alloc, p, event, NS_SIZE);  NS_ADDREF(NS_STATIC_CAST(nsIWidget*,widget));  widget->OnResize(event);  NS_RELEASE(NS_STATIC_CAST(nsIWidget*,widget));  delete event.windowSize;}