Description of the new feature

Most apps nowadays have an option to hide the menu. What is the menu? Well, it's the top bar, with the "view" and "about" and all those options. It is a good idea to hide it when not in use because it wastes vertical space for no good reason. There is a plugin that does that, but it would be a good idea to have it native.