What is a pull and how and by whom could a pull request be made? Is there a way to manipulate the configuration file or something like that to make it possible to add this feature individually? I think it will be really helpful.
--- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/1041#issuecomment-221516967