if (event->type == GDK_KEY_PRESS || event->type == GDK_KEY_RELEASE) {    if (!window->focusWindow) { GtkWidget *mozArea = window->GetMozArea(); if (mozArea) { gtk_propagate_event(mozArea, event); } else g_print("dispatch_superwin_event: aeii! failed to get the mozarea!\n"); } }
dispatch_superwin_event(GdkEvent *event, nsWindow *window){  switch (event->type)  {  case GDK_KEY_PRESS:    handle_key_press_event (NULL, &event->key, window);    break;  case GDK_KEY_RELEASE:    handle_key_release_event (NULL, &event->key, window);    break;  default:    window->HandleGDKEvent (event);    break;  }}