Hi Paul, On Sat, 06 May 2017, Paul Wise wrote: > Changing default timer values (Manual tab in configuration) or adding, > changing or removing presets (Presets tab in configuration) does not > change the menu in the GNOME shell until the shell is restarted.
Is this a regression compared to former versions of gnome-shell? Or just a usability issue that has been plaguing the codebase for a long time? Cheers, -- Raphaël Hertzog ◈ Debian Developer Support Debian LTS: https://www.freexian.com/services/debian-lts.html Learn to master Debian: https://debian-handbook.info/get/
