-
Notifications
You must be signed in to change notification settings - Fork 0
Description
Toggle menu bar of geanylua works absolutely perfect and is so useful for me. So what about the idea to publish Toggle menu bar as plugin name for Geany? I think it would be good to offer no options for the plugin. That should make the plugin very simple to code. So, there should be not an option with a checkbox like: The menu bar will always appear when starting Geany. If users want options then they should take the geanylua-version. Something like the last sentence could be mentioned inside the plugin in a readme.txt-document. In the readme.txt-document there could be also some text like this: In case the shortcut to toggle the menu bar was forgotten, press Ctrl+Alt+P to let appear the Prefrences, and then click on the left side on "Keybindings" to search at the end of the list for "Toggle menu bar" to see which shortcut was set. An other way would be to open the document keybindings.conf that is loacated at .config/geany to search there for toggle_menu_bar to see which shortcut was set. The plugin would be user-friendly and also developer-friendly because everyone knows by its name what the plugin does. Another advantage is that once the plugin runs and is implemented in the official geany plugins there is no need to maintain the plugin.
In issue number 633 at geany, you wrote:
I already did write a plugin (1138) that addresses this and some other open issues. It was ignored for six months. [...] So I closed it for lack of interest.
Well, I'm sure that there is an interest because you wrote also at geany in 633:
The only agreement so far is that this feature is better implemented as a plugin.
I think 1138 was ingnored because there were too many things inside the plugin.
Today eth16 wrote a comment at geany-plugins 1380 with the title [Plugin Request] Toggle menu bar. And his words sound good to me:
Such a plugin already exist (though seems abandoned) as mentioned in 633. This could probably be used as a base.
If the plugin Toggle menu bar will exist, the next step could be to create the next plugin Tab title styles.
What do you think about the plugin Toggle menu bar?