(gpointer) main_area);  gtk_signal_connect_object (GTK_OBJECT (main_area), "action_changed", GTK_SIGNAL_FUNC (action_changed),
create_widget_set(){  GtkWidget* main_vbox;  GtkWidget* menu_bar;  main_vbox = gtk_vbox_new(FALSE, 1);  gtk_container_border_width(GTK_CONTAINER(main_vbox), 1);  gtk_container_add(GTK_CONTAINER(window), main_vbox);  gtk_widget_show(main_vbox);  menu_bar = get_main_menu();  gtk_box_pack_start(GTK_BOX(main_vbox), menu_bar, FALSE, TRUE, 0);  gtk_widget_show(menu_bar);  main_area = gtk_math_view_new(NULL, NULL);  gtk_widget_show(main_area);  gtk_signal_connect_object (GTK_OBJECT (main_area),			     "selection_changed", GTK_SIGNAL_FUNC (selection_changed),			     (gpointer) main_area);  gtk_signal_connect_object (GTK_OBJECT (main_area),			     "element_changed", GTK_SIGNAL_FUNC (element_changed),			     (gpointer) main_area);  gtk_signal_connect_object (GTK_OBJECT (main_area),			     "jump", GTK_SIGNAL_FUNC(jump),			     (gpointer) main_area);  gtk_signal_connect_object (GTK_OBJECT (main_area), 			     "clicked", GTK_SIGNAL_FUNC(clicked),			     (gpointer) main_area);  scrolled_area = gtk_scrolled_window_new(NULL, NULL);  gtk_scrolled_window_set_policy(GTK_SCROLLED_WINDOW(scrolled_area),				 GTK_POLICY_AUTOMATIC, GTK_POLICY_ALWAYS);  gtk_widget_show(scrolled_area);  gtk_container_add(GTK_CONTAINER(scrolled_area), main_area);  gtk_box_pack_start(GTK_BOX(main_vbox), scrolled_area, TRUE, TRUE, 0);  status_bar = gtk_statusbar_new();  gtk_widget_show(status_bar);  gtk_box_pack_start(GTK_BOX(main_vbox), status_bar, FALSE, TRUE, 0);  statusbar_context = gtk_statusbar_get_context_id(GTK_STATUSBAR(status_bar), "filename");  gtk_widget_show(main_vbox);  if (gtk_math_view_get_anti_aliasing(GTK_MATH_VIEW(main_area)))    gtk_menu_item_activate(anti_aliasing_item);  if (gtk_math_view_get_kerning(GTK_MATH_VIEW(main_area)))    gtk_menu_item_activate(kerning_item);  gtk_menu_item_activate(font_size_item);}