(
PHP
3
=
3.0.6
,
PHP
4
)
pdf_set_font -- Sélectionne la police et sa taille.
Description
void
pdf_set_font
( resource pdf_object, string font name, double size, string
encoding [, int embed])
pdf_set_font(
)
sélectionne
la
police
,
sa
taille
et
son
encodage
.
Il
vous
faudra
fournir
des
fichiers
Adobe
Font
Metrics
(
afm
)
comme
police
,
dans
le
dossier
de
police
(par
défaut
.
/
fonts
)
.
Si
vous
utilisez
PDFLib
0.6
,
vous
devrez
fournir
des
fichiers
Adobe
Font
Métric
(
afm-files
)
pour
les
polices
,
dans
le
chemin
de
police
(
par
défaut
,
.
/
fonts
)
.
Si
vous
utilisez
php
versin
3
ou
une
version
plus
ancienne
que
la
version
2.20
de
PDFLib
,
le
quatrième
paramètre
encoding
peut
prendre
les
valeurs
suivantes
:
0
=
builtin
,
1
=
pdfdoc
,
2
=
macroman
,
3
=
macexpert
,
4
=
winansi
.
Un
encodage
plus
grand
que
4
et
inférieur
à
0
sera
transformé
en
'
winansi'
.
'winansi
'
est
souvent
un
bon
choix
.
Si
vous
utilisez
PHP
version
4
et
une
version
plus
ancienne
que
la
version
2.20
de
PDFLib
le
quatrième
paramètre
encoding
est
une
chaîne
:
'
builtin'
,
'pdfdoc'
,
'macroman'
,
'macexpert'
,
'winansi
'
.
Si
le
dernier
paramètre
est
à
1
,
la
police
est
intégrée
dans
le
document
.
Sinon
,
elle
ne
le
sera
pas
.
Incorporer
une
police
dans
un
document
est
un
bonne
idée
si
la
police
n
'
est
pas
répandue
,
ou
si
vous
ne
pouvez
pas
vous
assurez
que
le
la
personne
qui
regardera
votre
document
peut
accéder
à
cette
police
.
Note :
pdf_set_font()
doit être appelée après
pdf_begin_page()
pour créer un document PDF valide.
Note
:
Si
vous
référencez
une
police
dans
un
fichier
.upr
,
assurez-vous
que
le
nom
du
fichier
.afm
et
celui
de
la
police
sont
bien
les
mêmes
.
Sinon
,
la
police
sera
aggrandie
plusieur
fois
(
Merci
à
Paul
Haddon
pour
cette
info
)
.