printf("element changed: %p %s\n", node, (node != NULL) ? mdom_node_get_name(node) : "-");
printf("node changed: %p %s\n", node, (node != NULL) ? mdom_node_get_name(node) : "-");
element_changed(GtkMathView* math_view, mDOMNodeRef node){  g_return_if_fail(math_view != NULL);  g_return_if_fail(GTK_IS_MATH_VIEW(math_view));  printf("element changed: %p %s\n", node, (node != NULL) ? mdom_node_get_name(node) : "-");}