Maison > Java > JavaBase > Quelles sont les polices Java ?

Quelles sont les polices Java ?

coldplay.xixi
Libérer: 2020-10-30 14:59:20
original
3690 Les gens l'ont consulté

Les polices Java incluent : 1. Serif est avec empattement ; 2. [Sans-serif] est sans empattement ; 3. Monospace est de largeur égale ; 4. Dialog est une boîte de dialogue ; .

Quelles sont les polices Java ?

Java utilise une méthode de mappage des polices logiques aux polices physiques correspondantes sur la plate-forme en cours d'exécution pour gérer l'affichage des polices.

Java définit cinq polices logiques : Serif (serif), Sans-serif (pas de serif), Monospaced (monospaced), Dialog (boîte de dialogue), DialogInput (saisie de la boîte de dialogue). Chaque police correspond à quatre styles de police : plain (plat), bold (gras), italic (italique), bolditalic (gras italique).

Nous pouvons sélectionner des polices logiques, des tailles et des couleurs, mais nous ne pouvons pas sélectionner de polices physiques spécifiques. Les polices physiques correspondantes doivent être définies dans le fichier de configuration des polices JRE.

Les principaux facteurs qui affectent les polices graphiques sont : la page de codes de langue actuelle, le jeu de caractères de la base de données, les polices installées et les fichiers de configuration des polices

1. Pour l'environnement linguistique actuel, utilisez le fichier .profile pour le configurer sous les environnements Linux et UNIX. Pour afficher les paramètres de la page de codes active sous Windows, veuillez saisir : chcp Un message similaire au suivant apparaîtra : Page de codes active : 437. Pour modifier la page de codes active en 850 (multilingue), tapez : chcp 850. Si la page de codes spécifiée n'est pas valide, le message d'erreur suivant s'affichera : Page de codes non valide.

2. Jeu de caractères de la base de données

Utilisez des commandes spécifiques pour afficher le jeu de caractères utilisé par l'instance de base de données actuelle et définir le jeu de caractères. (Remarque : après avoir défini la ligne de commande Windows, vous devez quitter et réexécuter une autre session de ligne de commande pour prendre effet).

3. Polices installées

Sur la plateforme Windows, vous pouvez afficher les polices installées dans "Panneau de configuration -> Polices". De plus, JRE est également livré avec plusieurs polices dans %JAVAHOME%/lib/fonts.

Remarque : %JAVAHOME% fait référence au répertoire racine de l'installation de Java.

4. Fichier de configuration des polices

Java peut configurer les polices dans JRE. Les fichiers de configuration des polices sont différents selon les versions de JRE. Vous pouvez utiliser %JAVAHOME%/bin/java. la version spécifique de JRE installée. Vous pouvez vérifier la méthode de configuration en détail sur le site officiel de Sun : veuillez d'abord accéder à Java SE, sélectionnez l'onglet Technologies, vous pouvez trouver la fenêtre "Support international" dans le diagramme général du cadre et recherchez "Les fichiers de configuration des polices". après être entré.

Recommandations d'apprentissage gratuites associées :
Tutoriel de base Java

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!

Étiquettes associées:
source:php.cn
Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Tutoriels populaires
Plus>
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal