This was good news - thank you! On Sunday, 14 February 2021 at 16:52:16 UTC+1 [email protected] wrote:
> I think Markup > Utilities > Translate Text to HTML... will do what you're > looking for. > > Unicode support is widespread at this point. It's better to ensure that > your workflow is UTF-8 compliant so that you don't need to bother with > encoding common characters. > > https://www.w3.org/International/questions/qa-who-uses-unicode > > [fletcher] > > > On Feb 14, 2021, at 6:56 AM, Omar KN <[email protected]> wrote: > > Cannot find anything in the UG. "International" > > Although it seems most browsers nowadays interpret those letters > correctly, is it maybe still better to convert them for the web? > > I don't need all of them, only about two dozen or so. > > / > > with best regards, Omar KN, Stockholm, Sweden > > > -- > This is the BBEdit Talk public discussion group. If you have a feature > request or need technical support, please email "[email protected]" > rather than posting here. Follow @bbedit on Twitter: < > https://twitter.com/bbedit> > --- > You received this message because you are subscribed to the Google Groups > "BBEdit Talk" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/bbedit/f8eecd19-91c8-4e39-854f-5e40982553a2n%40googlegroups.com > > <https://groups.google.com/d/msgid/bbedit/f8eecd19-91c8-4e39-854f-5e40982553a2n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > > -- This is the BBEdit Talk public discussion group. If you have a feature request or need technical support, please email "[email protected]" rather than posting here. Follow @bbedit on Twitter: <https://twitter.com/bbedit> --- You received this message because you are subscribed to the Google Groups "BBEdit Talk" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/bbedit/7f32dc50-709e-4743-9735-eaa893b5274an%40googlegroups.com.
