From: Luca Padovani 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),