Bit of a late reply, sorry about that. This was made before the plugin API and is a bit of a hacky way to implement a Pomodoro timer. I would suggest browsing community plugins to see if one would fit your needs. There are currently three different ones that implement a Pomodoro timer.