[successivo] [precedente] [inizio] [fine] [indice generale]
Esistono diverse variabili di stile globali in Pic, le quali possono essere utilizzate per variare il comportamento generale. Alcune di esse sono già state in precedenza menzionate; in questa sezione vengono presentate integralmente, specificandone anche il valore predefinito (tabella 14.1).
Tutte queste variabili possono essere impostate con una semplice istruzione di assegnamento (esempio in figura 14.2).
|
In GNU Gpic impostando la variabile scale si scalano tutte le variabili di stile (dimensionali) in modo tale che i loro valori producano risultati equivalenti anche nella nuova scala. Per verificarlo, si consideri la seguente sessione interattiva (vedi anche sezione 17.2):
$
cat x.pic
[Invio]
.PS print boxwid oldboxwid=boxwid scale=2.54 print boxwid print oldboxwid*scale .PE |
$
cat x.pic | pic > /dev/null
[Invio]
0.75 1.905 1.905 |
$
Il comando reset reimposta tutte le variabili di stile al valore predefinito. Fornendo una lista di nomi di variabili come argomenti (opzionalmente separati da virgole) si possono selettivamente reimpostare solo alcune variabili. Lo stato delle variabili di stile persiste da figura a figura.
Informatica per sopravvivere 2006.01.30 --- Copyright © 2004-2006 Massimo Piai -- <pxam67 (ad) virgilio·it>
Dovrebbe essere possibile fare riferimento a questa pagina anche con il nome variabili_di_stile.html