Manuale dell'utente del CDE Solaris

Cambiamento dei font

I font di dtterm possono essere cambiati usando uno dei metodi seguenti:

Specificare i font dalla riga di comando

Per cambiare il font dei menu dalla riga di comando, digitare:

dtterm -xrm '*fontList:  set_di_font'

dove set_di_font è la definizione di un set di font. Quest'ultima può essere specificata con un elenco di nomi XLDF (X Logical Font Description), con un semplice schema XLFD o con un alias. Si noti che la definizione del set di font dipende dalla versione locale utilizzata.

Ad esempio, per usare un font più grande per il contenuto della finestra, ma non per i menu, digitare:

dtterm -xrm '*fontList:-dt-interface user-medium-r-normal-l*-*-*-*:'

Per usare un font più piccolo per il contenuto della finestra, ma non per i menu, digitare:

dtterm -xrm '*fontList:-dt-interface user-medium-r-normal-s*-*-*-*:'

Queste definizioni funzioneranno per tutte le versioni locali.

Specificare i font in un file di risorse

Ad esempio, per cambiare i font di dtterm in un file di risorse:

  1. Modificare il file di risorse Dtterm nella directory /usr/dt/app-defaults/lingua.

    Per i file di risorse di Dtterm si potrà usare indifferentemente il nome della classe (Dtterm) o il nome dell'applicazione (dtterm).

    Impostando la variabile d'ambiente LANG, al percorso di ricerca dei file di risorse verrà aggiunta la directory /usr/dt/app-defaults/lingua, dove lingua è il nome della versione locale.

    Dopo avere impostato la variabile d'ambiente LANG, il percorso di ricerca dei file di risorse includerà le due cartelle seguenti:

    /usr/dt/app-defaults/lingua/Dtterm
    /usr/dt/app-defaults/C/Dtterm
  2. Inserire alla fine del file i set di font che si desidera usare.

    Ad esempio, per usare un font a spaziatura fissa, aggiungere questa riga:

    dtterm -fn -dt-interface user-medium-r-normal-*-*-*-*
  3. Salvare il file.