P.S. geany.reloadconf (like geany.reload_configuration() from GeanyPy) may be of interest...

You should make separate pull requests for the above patches if you want to get them merged. That plugin doesn't have a dedicated maintainer, so making it easy on committers will give you a better chance to get changes in ... or if you volunteer to become the new maintainer :)

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