A pomodoro timer perhaps?
https://extensions.gnome.org/extension/53/pomodoro/
![]()
Edit: The extension from extensions.gnome.org is quite outdated.
Instead, see here:
https://gnomepomodoro.org/
or
https://aur.archlinux.org/packages/gnome-pomodoro-git