gtksourceview r1840 - branches/printing/gtksourceview

[paolo svn gnome org]

Author: paolo
Date: Sun Jan 13 14:19:21 2008
New Revision: 1840
URL: http://svn.gnome.org/viewvc/gtksourceview?rev=1840&view=rev

Log:
pagination_timer is not destoyed when printing is canceled.
Manage the above case.



Modified:
   branches/printing/gtksourceview/gtksourceprintcompositor.c

Modified: branches/printing/gtksourceview/gtksourceprintcompositor.c
==============================================================================
--- branches/printing/gtksourceview/gtksourceprintcompositor.c	(original)
+++ branches/printing/gtksourceview/gtksourceprintcompositor.c	Sun Jan 13 14:19:21 2008
@@ -2552,7 +2552,9 @@
 	if (compositor->priv->state == INIT)
 	{
 		PROFILE ({
-			g_assert (pagination_timer == NULL);
+			if (pagination_timer != NULL)
+				g_timer_destroy (pagination_timer);
+				
 			pagination_timer = g_timer_new ();
 		});