Available in github:
**Installation**
- Copy the files in *src* to
*\~/.local/share/gnome-shell/extensions/[email protected]*
directory
- Press *Alt + F2*, and *r* in command to restart gnome-shell
- Click on the panel item to toggle the timer state
Just has the bare minimum functionality at the moment :) Feel free to
fork away. Enjoy!
