]> matita.cs.unibo.it Git - helm.git/commitdiff
another small bug fixed about the pot
authorLuca Padovani <luca.padovani@unito.it>
Mon, 12 Nov 2001 15:44:43 +0000 (15:44 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 12 Nov 2001 15:44:43 +0000 (15:44 +0000)
helm/helmpot/guiGTK.c

index 4384f3cef2c5d8cbc8b20d81034f7bf0db5fceee..ed2718a80f7681954a712cb782c6863bdcc426fe 100644 (file)
@@ -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) {