From: Luca Padovani <luca.padovani@unito.it>
Date: Mon, 12 Nov 2001 15:44:43 +0000 (+0000)
Subject: another small bug fixed about the pot
X-Git-Tag: mlminidom_0_2_2~102
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c9d2cb6413992eae7f06dbb02345a70fe98a193e;p=helm.git

another small bug fixed about the pot
---

diff --git a/helm/helmpot/guiGTK.c b/helm/helmpot/guiGTK.c
index 4384f3cef..ed2718a80 100644
--- a/helm/helmpot/guiGTK.c
+++ b/helm/helmpot/guiGTK.c
@@ -213,8 +213,6 @@ GUI_load_document(const gchar* name)
   klass = (GtkMathViewClass*) gtk_type_class(gtk_math_view_get_type());
   g_return_val_if_fail(klass != NULL, -1);
 
-  gdk_window_set_cursor(main_area->window, pot_cursor);  
-  loading = TRUE;
   res = gtk_math_view_load(math_view, name);
   gdk_window_set_cursor(main_area->window, normal_cursor);
   loading = FALSE;
@@ -498,6 +496,8 @@ jump(mDOMConstStringRef href)
   pid_t pid;
   g_return_if_fail(href != NULL);
 
+  gdk_window_set_cursor(main_area->window, pot_cursor);  
+  loading = TRUE;
   pid = fork();
   if (pid == -1) exit(-1);
   if (pid == 0) {