From: Luca Padovani Date: Sat, 21 Feb 2004 18:48:38 +0000 (+0000) Subject: * cleanup X-Git-Tag: v0_0_4~115 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f71c2a9890c7e2443f7fa46df385053f354240a5;p=helm.git * cleanup --- diff --git a/helm/DEVEL/mathml_editor/test/guiGTK.c b/helm/DEVEL/mathml_editor/test/guiGTK.c index c3f7cd84f..87be3d88c 100644 --- a/helm/DEVEL/mathml_editor/test/guiGTK.c +++ b/helm/DEVEL/mathml_editor/test/guiGTK.c @@ -86,7 +86,6 @@ static GtkItemFactoryEntry menu_items[] = { { "/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, "" }, { "/_Help" , NULL, NULL, 0, "" }, { "/Help/About...", NULL, help_about, 0, NULL } @@ -208,7 +207,7 @@ GUI_unload_document() 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; @@ -628,7 +627,6 @@ create_widget_set(gpointer context) gtk_box_pack_start(GTK_BOX(main_vbox), scrolled_area, TRUE, TRUE, 0); gtk_widget_show(main_vbox); - } GtkWidget*