codito/gnome-shell-pomodoro — pull request #54 by kamilprusko (2012-03-18 15:58:10+00:00)
Title: Cinnamon support and timer restore

So, here are some few patches. Changes for cinnamon support aren't very clean, and timer restore can be annoying as it **always** restores timer state and counts. I've tried to register a GNOME Session Manager client to catch logout event, but that currently doesn't seem to work..

If you wish to disable timer restore, you can do it by dconf-editor or by:

gsettings set org.gnome.shell.extensions.pomodoro restore false