X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2FguiGTK.c;h=ed2718a80f7681954a712cb782c6863bdcc426fe;hb=c9d2cb6413992eae7f06dbb02345a70fe98a193e;hp=4384f3cef2c5d8cbc8b20d81034f7bf0db5fceee;hpb=47ed689d3cb6aace3fffd51f3d6b9c5d247508da;p=helm.git

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) {