Thanks to the geanylua-script https://github.com/xiota/geanylua-scripts/tree/main/toggle-menu-bar I wrote a step-by-step-description how to toggle menu bar: geany/geany#633 (comment). The problem is that it takes about 10 minutes to build the feature. For users it would be better to have a plugin like Toggle menu bar in the plugin manager. Then users could activate the checkbox next to the plugin Toggle menu bar in the plugin manager and could set a shortcut.

Forgot the shortcut?

If users forget the shortcut, there is the possibility to press Ctrl+Alt+P to open the preferences to look for the according shortcut in keybindings.
If the plugin would exist and if users forget the shortcut and don't know where to set shortcuts, I think that in short time search engines will give the solution, namely Ctrl+Alt+P to open the preferences to look for the according shortcut in keybindings.

Options
There are no options planed for this plugin.

Behavior
Once the menu bar is disabled by pressing the shortcut, the menu bar stays disabled even after a restart of Geany. The menu bar will appear again only if the shortcut will be pressed again.

History
2972 at geany and 1138 at geany-plugins were both closed but not fixed.

Official plugin
If this plugin is part of the official plugins, then issue number 633 at geany could be closed.

Remark
The toggle menu bar works absolutely perfect for me for years. I use the key F12 as shortcut to toggle the menu bar.

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.