On Jun 21 2018, at 6:00 am, users-request@lists.geany.org wrote:
Send Users mailing list submissions to users@lists.geany.org
To subscribe or unsubscribe via the World Wide Web, visit https://lists.geany.org/cgi-bin/mailman/listinfo/users or, via email, send a message with subject or body 'help' to users-request@lists.geany.org
You can reach the person managing the list at users-owner@lists.geany.org
When replying, please edit your Subject line so it is more specific than "Re: Contents of Users digest..." Today's Topics:
- Re: Build Server Protocol for geany? (Matthew Brush)
On 2018-06-20 12:13 AM, Lex Trotman wrote:
See #1458 for discussions about designing a suitable interface for plugins to do such things. Afraid it seemed to run out over a year ago with no concrete result.
Link: https://github.com/geany/geany/issues/1458 _______________________________________________ Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users