General purpose timer extension for Gnome Shell Please report issues on github If updating the extension reports an ERROR, it should work after the next reboot or if you logout and login again.
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?
User Reviews
Loading reviews…