-#if 0
-static void
-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),
- "clicked", GTK_SIGNAL_FUNC(clicked),
- (gpointer) main_area);
-
- gtk_widget_add_events(GTK_WIDGET(main_area),
- GDK_BUTTON_PRESS_MASK
- | GDK_BUTTON_RELEASE_MASK
- | GDK_POINTER_MOTION_MASK);
-
- 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);
-}
-#endif
-