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