]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gtkmathview-bonobo/src/handlers.c
* added popup menu, implemented some functions
[helm.git] / helm / gtkmathview-bonobo / src / handlers.c
index 85479ed1b61a129b5a4466fae9f7bdb2d2c0880d..78dc7ee66a4d51a47ba0212bc90db2c40b27c4bc 100644 (file)
@@ -102,7 +102,7 @@ select_begin_cb(GtkMathView* math_view, GdomeElement* elem, gint state,
          control_data->root_selected = NULL;
        }
       
-      if (control_data->id_ns_uri != NULL || control_data->id_name != NULL)
+      if (control_data->semantic_selection)
        {
          GdomeElement* new_elem = find_element_with_id(elem, control_data->id_ns_uri, control_data->id_name);
          if (new_elem != NULL)
@@ -149,7 +149,7 @@ select_over_cb(GtkMathView* math_view, GdomeElement* elem, gint state,
           control_data->root_selected = NULL;
        }
       
-      if (control_data->id_ns_uri != NULL || control_data->id_name != NULL)
+      if (control_data->semantic_selection)
        {
          GdomeElement* new_root = find_common_ancestor(control_data->first_selected, elem);
          if (new_root != NULL)
@@ -185,8 +185,7 @@ select_end_cb(GtkMathView* math_view, GdomeElement* elem, gint state,
       g_assert(exc == 0);
       control_data->first_selected = NULL;
 
-      if (control_data->root_selected != NULL &&
-         (control_data->id_ns_uri != NULL || control_data->id_name != NULL))
+      if (control_data->root_selected != NULL && control_data->semantic_selection)
        {
          GdomeException exc = 0;
          GdomeDOMString* id = gdome_el_getAttributeNS(control_data->root_selected,