Hi, and sorry for the delay, On Fri, 26 Dec 2014 23:39:30 +0100, Colomban Wendling wrote: > I can confirm that reboot definitely is *not* in the dialog, at least > not as triggered by the normal user menu from the panel (User -> > Shutdown) -- and there is no "Reboot" entry in the user menu itself.
Yes, now I realize that Reboot was only added in newer gnome-panel versions: https://git.gnome.org/browse/gnome-panel/commit/?id=4ed46751373193c1 Unfortunately it will be impossible to backport that patch into Jessie because it does not fix an RC bug (and because it adds new translatable strings). I hope I will be able to provide newer gnome-panel in backports, though. -- Dmitry Shachnev
signature.asc
Description: OpenPGP digital signature
