From: Luca Padovani <luca.padovani@unito.it>
Date: Tue, 17 Jul 2001 13:47:13 +0000 (+0000)
Subject: added preliminary support for maction
X-Git-Tag: v0_1_3~110
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1eedad0f656f0582871e2ce023f4923fc3a47de4;p=helm.git

added preliminary support for maction
- cursor bug
---

diff --git a/helm/helmpot/guiGTK.c b/helm/helmpot/guiGTK.c
index ede4aa03f..fc268ae8a 100644
--- 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),