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 users@lists.geany.org
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?