A pull request means you have written the C code to provide the feature and are providing it to the project. Are you a competent C programmer? If so "somebody" refers to you and github help and Geany HACKING file should be your starting point.
If you are not a competent C programmer then "somebody" refers to "somebody who isn't you, or me" :-) Cheers Lex On Sat, 13 May 2023 at 12:02, H via Users <users@lists.geany.org> wrote: > > 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 _______________________________________________ Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-le...@lists.geany.org