A simplistic Egg Timer for the Top Panel. Works on Ubuntu 20.04 / Gnome 3.36. Does not work on Ubuntu 18.04 / Gnome 3.28. Feel free to submit a pull request. https://github.com/gregorriegler/gnome-shell-extension-egg-timer/issues/2
Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?