On 2/8/25 12:05, Hans Hagen wrote: > [...] > btw, we're going to make compact font mode the default and add a > > --nocompactfonts > > switch (at least for a while).
Many thanks for the info, Hans. It makes sens to have compact fonts as default. Pablo ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl webpage : https://www.pragma-ade.nl / https://context.aanhet.net (mirror) archive : https://github.com/contextgarden/context wiki : https://wiki.contextgarden.net ___________________________________________________________________________________