| Deutsch English Français Italiano |
|
<104qfes$1d30o$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Nuno Silva <nunojsilva@invalid.invalid> Newsgroups: comp.unix.shell Subject: Re: Font support for utf8 Date: Fri, 11 Jul 2025 08:45:32 +0100 Organization: A noiseless patient Spider Lines: 24 Message-ID: <104qfes$1d30o$1@dont-email.me> References: <vk3t09$3fcrp$1@dont-email.me> <md0fr6Fer35U1@mid.individual.net> <104fcbd$2n4ir$3@dont-email.me> <104hopc$360c1$3@dont-email.me> <104inti$3fenn$1@dont-email.me> <104k4oc$3p7d8$11@dont-email.me> <104nuaq$p5pl$2@dont-email.me> <104pe6q$12sfu$5@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Date: Fri, 11 Jul 2025 09:45:33 +0200 (CEST) Injection-Info: dont-email.me; posting-host="12ba3c8e81108a31983a19513556a425"; logging-data="1477656"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19kdS3I5Ty6AdiRlflvtdcW" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) Cancel-Lock: sha1:+AmLHM+SXAtzHqyiGiYlv2C19NQ= On 2025-07-10, Lawrence D'Oliveiro wrote: > On Thu, 10 Jul 2025 09:40:58 +0100, Nuno Silva wrote: > >> In this case, wouldn't a more appropriate route be introducing a >> terminal escape sequence for this ... > > Not sure why that’s relevant to issues of font query APIs. Because the font rendering is a property of the terminal or terminal emulator. I don't see a reason why a program running inside a terminal device ought to access directly the rendering library, at least not without some prior interaction with the terminal device confirming it's ok to do so. (It could go via termcap/terminfo, but even then, what if a terminal emulator can use different ways to render fonts? Some dynamic check might be necessary for that.) If what you want is just a font query, go ahead. But if what you want is a font query regarding what the terminal device is currently using, then I'd say that ought to go via the terminal, and it seems to me that escape sequences would be a much more fitting way to do that? -- Nuno Silva