Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
So they are not going to make a PR, and nobody else has.
Not true. I did (#2972). There was no agreement on details of operation. So I closed it, and moved functionality to a proposed new plugin (geany/geany-plugins/#1138). It sat around with no sign of interest. So I closed it.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.