Why not save the menubar status and restore it on restart instead of having a separate setting. Then the user has to have set the keybinding to turn it off.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.