Fixed a case where the timer was run twice. if a call to gc_timer_pause is

	* src/gcompris/timer.c: (gc_timer_pause): Fixed a case where the timer was run twice.
	  if a call to gc_timer_pause is made while not paused.


svn path=/trunk/; revision=3130

1 files changed, 1 insertions, 1 deletions

diff --git a/src/gcompris/timer.c b/src/gcompris/timer.c
index 54380b9..a529cb1 100644
--- a/src/gcompris/timer.c
+++ b/src/gcompris/timer.c
@@ -196,7 +196,7 @@ gc_timer_pause(gboolean pause)
 	gtk_timeout_remove (subanimate_id);
       subanimate_id = 0;
     }
-  else
+  else if(paused)
     {
       start_animation();
     }