GdomeElement* first_selected;
GdomeElement* root_selected;
GdomeDOMString* id_ns_uri;
GdomeDOMString* id_name;
GdomeElement* first_selected;
GdomeElement* root_selected;
GdomeDOMString* id_ns_uri;
GdomeDOMString* id_name;
void gtk_math_view_control_data_set_id_ns_uri(GtkMathViewControlData*, const gchar*);
gchar* gtk_math_view_control_data_get_id_name(GtkMathViewControlData*);
void gtk_math_view_control_data_set_id_name(GtkMathViewControlData*, const gchar*);
void gtk_math_view_control_data_set_id_ns_uri(GtkMathViewControlData*, const gchar*);
gchar* gtk_math_view_control_data_get_id_name(GtkMathViewControlData*);
void gtk_math_view_control_data_set_id_name(GtkMathViewControlData*, const gchar*);