gfreeau/cinnamon-pomodoro — pull request #14 by Nicolas01 (2013-06-04 21:18:07+00:00)
Title: Bug on duration changed

When timer is off and the timer duration is changed in the settings, the new timer duration was not precisely display because the time spent was not reset.