Re: Du tiret (question pour Jean-Pierre)

[Emmanuel CURIS <curis@xxxxxxxxxxxxxx>]

	Bonjour,

Dans son courrier, Jean-Denis Rondinet a écrit :

«    Pour le reste de ton intervention, bravo pour le « tiret capitale » !
« Marre de parangonner dans la titraille !

	À propos de ce « tiret capitale » : si le problème est « juste » la
hauteur du tiret, est-ce qu'il ne serait pas plus simple de faire quelque
chose du genre :
	chercher "{capitale}tiret" et remplacer par "{capitale}[Monter de 0,5
p]tiret[Descendre de 0,5 p]" (où {} représente un masque de recherche et [] un
code de contrôle, en l'occurence d'approche).

	Avec cette méthode, c'est fait une fois pour toute (pour une fonte
donnée dans une taille donnée seulement, c'est vrai) et c'est très rapide à
faire sur n'importe quel texte, alors que demander « encore » une nouvelle
sorte de tiret dans les fontes ne résoud le problème que pour les fontes qui
auront cette sorte de tiret - ce qui me semble a priori plus long à réaliser
que la première solution.
	En d'autres termes, est-ce qu'il faut multiplier le nombre de
variantes d'un même caractère pour tenir compte de ses environnements, alors
qu'a priori on pourrait profiter de la puissance actuelle de l'informatique
pour que ce travail soit fait « tout seul », sans avoir à trop modifier les
fontes déjà existantes.

-- 
                                Emmanuel CURIS
                                curis@xxxxxxxxxxxxxx

Page WWW: http://www.eleves.ens.fr:8080/home/curis/index.html