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-le...@lists.geany.org >> > _______________________________________________ >> > Users mailing list -- users@lists.geany.org >> > To unsubscribe send an email to users-le...@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-le...@lists.geany.org >_______________________________________________ >Users mailing list -- users@lists.geany.org >To unsubscribe send an email to users-le...@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-le...@lists.geany.org
