Package: gnome-shell-timer Version: 0.3.12+20140924-5 Severity: normal 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.
-- System Information: Debian Release: 9.0 APT prefers testing-debug APT policy: (900, 'testing-debug'), (900, 'testing'), (860, 'testing-proposed-updates'), (800, 'unstable-debug'), (800, 'unstable'), (790, 'buildd-unstable'), (700, 'experimental-debug'), (700, 'experimental'), (690, 'buildd-experimental') Architecture: amd64 (x86_64) Kernel: Linux 4.9.0-2-amd64 (SMP w/4 CPU cores) Locale: LANG=en_AU.utf8, LC_CTYPE=en_AU.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages gnome-shell-timer depends on: ii dconf-gsettings-backend [gsettings-backend] 0.26.0-2+b1 ii gnome-shell 3.22.3-3 pn python:any <none> gnome-shell-timer recommends no packages. gnome-shell-timer suggests no packages. -- no debconf information -- bye, pabs https://wiki.debian.org/PaulWise
signature.asc
Description: This is a digitally signed message part
