I can confirm this behaviour. In Intrepid, checking or unchecking these boxes changes the behaviour of the System menu, whereas in Jaunty toggling the options has no effect on the menu.
I can confirm this behaviour. In Intrepid, checking or unchecking these boxes changes the behaviour of the System menu, whereas in Jaunty toggling the options has no effect on the menu.