if (gXMLTerminal) {  gXMLTerminal->Resize(); }
static void event_processor_configure(GtkWidget *window,                                      GdkEvent  *event,                                      GtkWidget *termWidget){  GtkAllocation *alloc = &GTK_WIDGET(termWidget)->allocation;  //fprintf(stderr, "event_processor_configure:\n");  // Resize doc shell window  gSimpleContainer->Resize(alloc->width, alloc->height);  return;}