Creating a new PR as #407 has no more branch attached to it and so can't be updated.

This needs squashing when review is done.

Basically it's #407 on top of master, plus a few minor changes to please me 🙂


You can view, comment on, or merge this pull request online at:

  https://github.com/geany/geany/pull/2250

Commit Summary

File Changes

Patch Links:


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