Also you normally should not need to edit .geany files, almost all changes can be made from the GUI, and if you edit the .geany file that Geany is using it will be written over when Geany closes.

Anyhow if someone wants to propose a pull request it can be considered.

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