Simple question to the maintainers of geany-plugins:
Do you want a PR for the plugin `Toggle menu bar`, yes or no?
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany-plugins/issues/1380#issuecomment-2448284511
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany-plugins/issues/1380/2448284511@github.com