{ "/Options/Verbosity/_Warnings", NULL, options_verbosity, 1, "/Options/Verbosity/Errors" },
{ "/Options/Verbosity/_Info", NULL, options_verbosity, 2, "/Options/Verbosity/Errors" },
{ "/Options/Verbosity/_Debug", NULL, options_verbosity, 3, "/Options/Verbosity/Errors" },
- { "/Options/sep1", NULL, NULL, 0, "<Separator>" },
{ "/_Help" , NULL, NULL, 0, "<LastBranch>" },
{ "/Help/About...", NULL, help_about, 0, NULL }
math_view = GTK_MATH_VIEW(main_area);
- gtk_math_view_load_root(math_view, 0);
+ gtk_math_view_load_root(math_view, NULL);
if (doc_name != NULL) g_free(doc_name);
doc_name = NULL;
gtk_box_pack_start(GTK_BOX(main_vbox), scrolled_area, TRUE, TRUE, 0);
gtk_widget_show(main_vbox);
-
}
GtkWidget*