Accidentally, the menu bar disappeared, and despite using Toggle Menu Bar via Ctrl + P, it isn't unhided! 
AI Analysis
This issue appears to be discussing a feature request or bug report related to the repository. Based on the content, it seems to be still under discussion. The issue was opened by agn-7 and has received 6 comments.
Add a comment
Comment form would go here