On Feb 25, 2011, at 17:15, Gendre Sebastien wrote: > Ok, restart can be proposed when user need it (ex: after update the > kernel), but if user have dual boot? Gnome-Shell detects it in Grub and > add "Restart" in User menu?
I don't think you'll find more than two people who understand this nonsensical change. If it remains as-is, it is likely to get patched by every single distribution out there anyway. Anyhow, this topic, as well as the one about removing the power-management options from the control panel, has been discussed to death. --Pat _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
