On May 12, 2023 10:15:02 PM EDT, Lex Trotman via Users users@lists.geany.org wrote:
A pull request means you have written the C code to provide the feature and are providing it to the project. Are you a competent C programmer? If so "somebody" refers to you and github help and Geany HACKING file should be your starting point.
If you are not a competent C programmer then "somebody" refers to "somebody who isn't you, or me" :-)
Cheers Lex
On Sat, 13 May 2023 at 12:02, H via Users users@lists.geany.org wrote:
On May 12, 2023 9:45:44 PM EDT, Lex Trotman via Users
users@lists.geany.org wrote:
If "somebody" provided a pull request it could probably be added.
Cheers Lex
On Sat, 13 May 2023 at 11:17, H via Users users@lists.geany.org wrote:
On 05/11/2023 07:33 PM, Lex Trotman via Users wrote:
On Fri, 12 May 2023 at 07:17, H via Users
wrote:
Using Geany, is it possible to convert an existing text that
contains HTML entities to UTF-8 characters?
No, and I'm not sure what would do it except writing a custom
script
in Python or similar language.
Cheers Lex
Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
I see, that would have been a nice additional function. Perhaps
the
author of the excellent plugin "HTML Characters" could be persuaded
to
add it since it is the reverse of what that plugin does?
Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
Ok, I'll provide a pull request but how do I do that? _______________________________________________ Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-leave@lists.geany.org
Aha, got it. Sadly no, it's been a long time since I wrote C code...
I will check who the maintainer is of that plugin and see if he/she might be interested.