Une police derrière la police

Une ligne d'états composée deux fois : avec la police de marque seule, où les marques dont elle n'a pas le dessin sortent en cases vides, puis avec une seconde police derrière elle qui les dessine.

Une police d'entreprise a rarement le dessin de tous les caractères dont un document a besoin. Une coche, une étoile, un parapluie : la police ne les porte tout simplement pas, et là où un dessin manque, le lecteur reçoit une case vide et doit deviner. Cette page compose deux fois la même ligne : d'abord avec la police d'entreprise seule, où trois marques sur quatre sortent vides, puis avec une seconde police placée derrière elle.

Derrière veut dire exactement cela : la police d'entreprise dessine tout ce qu'elle peut, et chaque caractère qu'elle ne peut pas passe à la police suivante. La ligne finit dessinée dans deux polices, et la petite liste au bas de la page dit quelle police a dessiné quelle marque. La hauteur de la ligne ne bouge pas : elle reste celle de la première police, si bien qu'une page ne change jamais de rythme à cause d'un seul symbole.

Ce que montre cet exemple

• Une première police interrogée pour tout, une seconde pour ce qui lui manque.
• Chaque caractère mesuré dans la police qui le dessine.
• La hauteur de ligne reste celle de la première police, quel que soit le texte.

Le code, en entier

Le même document est écrit deux fois, une fois dans chaque langage. Les deux fichiers sont montrés en entier, avec la coloration du code, et se copient d'un seul clic.

Le document lui-même

Le même document est écrit dans chacune de ces langues. Ouvrez celle que vous voulez regarder.

Ouvrir le document en anglais Ouvrir le document en français

Voir le code Rust Voir le code Python

Ce que pèse ce document

Ce document pèse 58 783 octets.

L'équipe a écrit cet exemple après avoir pesé les documents ci-dessus : il n'y a donc pas de chiffre plus ancien à mettre en face. Voir tous les documents mesurés.