Aug. 25, 2025
5:37 a.m.
Paul Eggert via tz:
I’d rather edit HTML that looks like this:
strings like “Prague”, “Praha”, “Прага”, and “布拉格”.
Since the HTML files are already UTF-8 encoded (otherwise they wouldn’t contain those non-ASCII letters) this shouldn’t be a problem with today’s editors.
In HTML, you could use mark the quotes up semanticlaly using the Q element: <q>Prague</q>, <q>Praha</q>, <q>Прага</q>, and <q>布拉格</q>. All browsers released this side of the turn of the century should support this. Make sure language is specified in the <html> tag, to get the browser to select the appropriate quoting style. -- \\// Peter - http://www.softwolves.pp.se/