added preliminary support for maction

- cursor bug

diff --git a/helm/helmpot/guiGTK.c b/helm/helmpot/guiGTK.c
index ede4aa03f5d006b99329c9c07b43683451530ed0..fc268ae8a1b34b157fdb4353ce766481946c9ed4 100644 (file)
--- a/helm/helmpot/guiGTK.c
+++ b/helm/helmpot/guiGTK.c
@@ -217,7 +217,7 @@ GUI_load_document(const gchar* name)
   if (strlen(name) > 40) name += strlen(name) - 40;
   gtk_statusbar_push(GTK_STATUSBAR(status_bar), statusbar_context, name);
 
-  gdk_window_set_cursor(main_area->window, klass->normal_cursor);
+  /*gdk_window_set_cursor(gtk_widget_get_parent_window(main_area), klass->normal_cursor);*/
 
   if (file_name != NULL) g_free(file_name);
   file_name = g_strdup(name);
@@ -496,6 +496,13 @@ jump(GtkMathView* math_view, mDOMNodeRef node)
   }
 }
 
+PRIVATE void
+clicked(GtkMathView* math_view, gpointer user_data)
+{
+  if (gtk_math_view_get_action(math_view) != NULL)
+    gtk_math_view_action_toggle(math_view);
+}
+
 PRIVATE void
 create_widget_set()
 {
@@ -518,7 +525,13 @@ create_widget_set()
                             "selection_changed", GTK_SIGNAL_FUNC (selection_changed),
                             (gpointer) main_area);
 
-  gtk_signal_connect_object (GTK_OBJECT (main_area), "jump", GTK_SIGNAL_FUNC(jump), NULL);
+  gtk_signal_connect_object (GTK_OBJECT (main_area),
+                            "jump", GTK_SIGNAL_FUNC(jump),
+                            (gpointer) main_area);
+
+  gtk_signal_connect_object (GTK_OBJECT (main_area), 
+                            "clicked", GTK_SIGNAL_FUNC(clicked),
+                            (gpointer) main_area);
                             
   scrolled_area = gtk_scrolled_window_new(NULL, NULL);
   gtk_scrolled_window_set_policy(GTK_SCROLLED_WINDOW(scrolled_area),