🚀 go-pugleaf

Le 7/12/2012 14:25, Pierre TORRIS a écrit :
> Bonjour Bernard Lombart,


Merci infiniment à Pierre Torris. Je considère grâce à vous le problème 
virtuellement résolu, et, en tout cas, la question correctement posée. 
Mais (ne vous moquez pas, les autres !) j'hésite encore à "rooter" mon 
Xperia tout neuf... On peut rêver d'une petite application qui fasse le 
job, mais je doute que ce soit possible...

B.L.


=== suite du message précédent ===
>
>> Bonjour à tous,
>>
>> Je suis élève sanskritiste, et je me sers constamment du dictionnaire
>> sanskrit publié sur le site de l'Inria. Les caractères en devanagari
>> (lettres indiennes) s'affichent parfaitement, mais, sur mon smartphone
>> (un Sony-Ericson Xperia Ray), de façon inattendue, ce sont certains
>> caractères latins avec diacritiques qui ne s'affichent pas (par
>> exemple "m" avec un point en dessous, "s" avec un point en dessous...)
>>
>> Aucun problème sous Linux, ni sous Windows 7. Bref, il suffit de cela
>> pour rendre le précieux dictionnaire presque inutilisable sur mon
>> smartphone, et c'est bien désolant.
>>
>> Est-il possible, à votre avis, de compléter le jeu de caractères de
>> mon Androïd ?
>
> En fait, c'est le jeu de caractères du navigateur qui importe ici, et
> les caractères souhaités appartiennent au bloc "Latin Extended Additional".
>
>> Voici l'adresse du dictionnaire, à la lettre A :
>> http://sanskrit.inria.fr/DICO/1.html#a
>
> Si on affiche le code source de la page Web, on voit que :
> a��ś
>
> est codé de la sorte (via une feuille de style) :
> <span class="trans12">a&#7747;&#347;</span>
>
> Si on affiche la feuille de style, on voit que :
> span.trans12 {font-family: 'IndUni-T','Times IndUni','Arial Unicode
> MS',serif; font-size:12pt}
>
> Des fonts appropriées sont utilisées en priorité (IndUni-T, Times
> IndUni), et si elles n'existent pas, comme dans beaucoup de cas, la
> police "Arial Unicode MS" peut être utilisée si elle est installée.
>
> Cette dernière police est une fonte MS (livrée avec Office) et contient
> quelques 50000 caractères Unicode, dont les caractères latins étendus.
>
> Une simple recherche conduit par exemple ici :
> http://yagyagaire.blogspot.fr/2011/10/arial-unicode-ms-font-that-supports.html
>
>
> Ensuite, il ne reste qu'à recopier le fichier TTF dans le dossier
> "/system/fonts" du mobile (root oblige) et à le rebooter.
>
> La police de caractères du système reste donc inchangée, et le résultat
> de la page Web avec FireFox sur un Galaxy S2 donne ceci :
> http://cjoint.com/?BLhopvwzUgB
>