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?