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