]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/test/guiGTK.c
* code cleanup
[helm.git] / helm / DEVEL / mathml_editor / test / guiGTK.c
index 88b85f8b585145fc5ded90c713aa3cdd37690996..cd1c7c878c4f8b117d68aefcde16695dd6534c8f 100644 (file)
@@ -340,7 +340,7 @@ selection_parent(GtkWidget* widget, gpointer data)
       gdome_el_unref(root_selected, &exc);
       g_assert(exc == 0);
       root_selected = parent;
-      gtk_math_view_set_selection(GTK_MATH_VIEW(main_area), root_selected);
+      /* gtk_math_view_set_selection(GTK_MATH_VIEW(main_area), root_selected); */
     }
 }
 
@@ -350,7 +350,7 @@ selection_reset(GtkWidget* widget, gpointer data)
   if (root_selected != NULL)
     {
       GdomeException exc = 0;
-      gtk_math_view_reset_selection(GTK_MATH_VIEW(main_area), root_selected);
+      /* gtk_math_view_reset_selection(GTK_MATH_VIEW(main_area), root_selected); */
       gdome_el_unref(root_selected, &exc);
       g_assert(exc == 0);
       root_selected = NULL;
@@ -481,7 +481,7 @@ selection_changed(GtkMathView* math_view, GdomeElement* first, GdomeElement* las
 
       root_selected = find_common_ancestor(first, last);
 /*       printf("selecting root %p\n", first, last, root_selected); */
-      gtk_math_view_set_selection(math_view, root_selected);
+      /* gtk_math_view_set_selection(math_view, root_selected); */
       g_assert(exc == 0);
     }
 }