/* Marks an end time, so calls to g_timer_elapsed() will return the difference between this end time and the start time.  */
void g_timer_stop(GTimer *timer)
/* Marks an end time, so calls to g_timer_elapsed() will return the difference between this end time and the start time.  */
void g_timer_stop(GTimer *timer)
{
  g_return_if_fail (timer != NULL);
  timer->active = FALSE;
  timer->end = g_get_monotonic_time ();
}