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