La commande print permet d'imprimer le document en cours.
print [ block | bottomMargin n | endElement n | font nomPolice | leftMargin n | lineNumbers { on | off } | rightMargin n | startElement n | tokenized { on | off } | topMargin n | visible ] [...]
block | Le paramètre facultatif block permet d'imprimer uniquement le texte sélectionné. |
bottomMargin n | Le paramètre facultatif bottomMargin permet d'indiquer la marge inférieure. n indique le nombre de pixels à utiliser pour la marge inférieure. ndoit être un nombre entier supérieur ou égal à zéro. Si vous ne spécifiez pas le paramètre bottomMargin, la valeur est fournie par le paramètre current.print.bottomMargin. |
endElement n | Le paramètre facultatif endElement représente le dernier élément à imprimer. n doit être un nombre entier positif. Si vous ne spécifiez pas l'élément de fin, l'impression se poursuit jusqu'à la fin du document. |
font nomPolice | Le paramètre facultatif font définit la police
de caractères à utiliser pour l'impression. Si vous ne spécifiez
pas le paramètre font, la configuration est fournie par le paramètre
current.print.font. Si le paramètre print.font n'est pas défini, la police
de caractères utilisée est celle de la vue en cours. Le paramètre nomPolice doit respecter l'un des formats suivants:
où style est "bold", "bolditalic" ou "italic", et hauteur un chiffre décimal correspondant à la hauteur de la police. |
leftMargin n | Le paramètre facultatif leftMargin permet d'indiquer la marge de gauche. n indique le nombre de pixels à utiliser pour la marge de gauche. ndoit être un nombre entier supérieur ou égal à zéro. Si vous ne spécifiez pas le paramètre leftMargin, la valeur est fournie par le paramètre current.print.leftMargin. |
lineNumbers { on | off } |
Le paramètre facultatif lineNumbers permet d'indiquer si les numéros de ligne doivent être imprimés à gauche de chaque ligne. Si vous ne spécifiez pas le paramètre lineNumbers, la valeur est extraite du paramètre current.print.lineNumbers. |
rightMargin n | Le paramètre facultatif rightMargin permet d'indiquer la marge de droite. n indique le nombre de pixels à utiliser pour la marge de droite. ndoit être un nombre entier supérieur ou égal à zéro. Si vous ne spécifiez pas le paramètre rightMargin, la valeur est fournie par le paramètre current.print.rightMargin. |
startElement n | Le paramètre facultatif startElement indique le premier élément à imprimer. n doit être un nombre entier positif. Si vous ne spécifiez pas d'élément de début, l'impression commence par le haut du document. |
tokenized { on | off } |
Le paramètre facultatif tokenized indique si le texte doit être segmenté. Si vous ne spécifiez pas le paramètre tokenized, la valeur est extraite du paramètre current.print.tokenized. |
topMargin n | Le paramètre facultatif topMargin permet d'indiquer la marge supérieure. n indique le nombre de pixels à utiliser pour la marge supérieure. ndoit être un nombre entier supérieur ou égal à zéro. Si vous ne spécifiez pas le paramètre topMargin, la valeur est fournie par le paramètre current.print.topMargin. |
visible | Le paramètre facultatif visible permet d'imprimer uniquement les lignes visibles. |
Le paramètre status n'est pas affecté par cette commande.
print print tokenized
Commandes, actions et paramètres de l'éditeur
Commande block
Paramètre print.bottomMargin
Paramètre print.font
Paramètre print.footer
Paramètre print.header
Paramètre print.leftMargin
Paramètre print.lineNumbers
Paramètre print.rightMargin
Paramètre print.tokenized
Paramètre print.topMargin
Paramètre visible
Action print
Commandes de l'éditeur par défaut
Copyright IBM Corporation 1992, 2004. All Rights Reserved.