[typo] Re: Que font les polices ?

[Serge Paccalin <serge-ml@xxxxxxxxxxxxx>]

Le 28/04/2012 21:41, Jean REVOL a écrit :

> 3) Ensuite je me suis aperçu que le nom des polices que j’avais copiées
> sur une clé USB, avaient changé de nom, voir images ci-jointes ; ceci
> est mon troisième sujet d’étonnement.

Je réponds sur ce point :

L'Explorateur de fichiers de Windows est capable de gérer certains
dossiers de façon particulière, au lieu de se contenter d'afficher les
fichiers qui s'y trouvent. C'est le cas de C:\Windows\Fonts ; la vue
montre les noms des polices extraits des fichiers, et non les noms des
fichiers eux-mêmes, comme sur la clé USB.


-- 
Serge Paccalin <serge tiret nospam ad paccalin point info>
« Quand le gouvernement viole les droits du peuple, l'insurrection est,
pour le peuple et pour chaque portion du peuple, le plus sacré des
droits et le plus indispensable des devoirs. »
-- Déclaration des droits de l'homme et du citoyen de 1793, Article 35