Does Ubuntu 20.04 have an app for multiple timers that allows configuring preset durations?
In 18.04 I used one that looked like this:
It crashed once in a while, but it mostly worked. Now it appears to be gone. Instead we have gnome-clocks
that does not allow configuring preset durations.
I also found gnome-shell-pomodoro
and gnome-shell-timer
but they don't allow multiple timers at all (among other serious problems)