Comment 8 for bug 787465

I agree with bgruber (#6), this bug is not the same as most of the duplicates. I certainly tried to report a different issue in #856411. This is a UI or usability bug, the rest are about a regression.

Martin-Éric (#7), the option itself works, until you try to set the terminal to start with the menubar hidden by default in in Shell.