PC SOFT

DOCUMENTATION EN LIGNE
DE WINDEV, WEBDEV ET WINDEV MOBILE

  • Présentation
  • Comment le faire ?
  • Gestion des polices
  • Créer une famille de polices
  • Importer une police
WINDEV
WindowsLinuxUniversal Windows 10 AppJavaEtats et RequêtesCode Utilisateur (MCU)
WEBDEV
WindowsLinuxPHPWEBDEV - Code Navigateur
WINDEV Mobile
AndroidWidget AndroidiPhone/iPadApple WatchUniversal Windows 10 AppWindows Mobile
Autres
Procédures stockées
Présentation
Les navigateurs supportent par défaut les polices de caractères les plus courantes : Arial, Verdana, ...
WEBDEV offre la possibilité d'utiliser des polices de caractères personnalisées, différentes de celles proposées par défaut.
Comment le faire ?

Gestion des polices

Lors de la création ou modification d'un style, il est possible de sélectionner une police parmi les polices standard.
Il est également possible de sélectionner de nouvelles polices. Ces polices peuvent provenir :
  • du poste de développement directement (ces polices ont été installées sur votre poste dans Windows).
  • d'un téléchargement (par exemple, télécharger des polices Google).

Créer une famille de polices

Pour ajouter une famille de polices :
  1. Ouvrez la fenêtre de gestion des styles (onglet "Style" de la description du champ).
  2. Dans la zone "Polices", cliquez sur le bouton "..." :
    La fenêtre de gestion des polices s'affiche.
    Cette fenêtre présente l'ensemble des polices installées.
  3. Cliquez sur "Nouveau" pour créer un nouvel ensemble de polices.
  4. Vous pouvez :
    • soit sélectionner une police installée sur le poste.
      Pour l'ajouter à la famille, cliquez sur .
    • Versions 18 et supérieures
      soit sélectionner une police téléchargeable installée sur le poste. Pour l'ajouter à la famille, cliquez sur .
      Nouveauté 18
      soit sélectionner une police téléchargeable installée sur le poste. Pour l'ajouter à la famille, cliquez sur .
      soit sélectionner une police téléchargeable installée sur le poste. Pour l'ajouter à la famille, cliquez sur .
    • Versions 18 et supérieures
      soit importer une police (voir Importer une police). Lorsque la police est importée, il suffit de l'ajouter à la famille en cliquant sur .
      Nouveauté 18
      soit importer une police (voir Importer une police). Lorsque la police est importée, il suffit de l'ajouter à la famille en cliquant sur .
      soit importer une police (voir Importer une police). Lorsque la police est importée, il suffit de l'ajouter à la famille en cliquant sur .
  5. Sélectionnez l'ensemble de polices voulu pour le style en cours.
  6. Validez la fenêtre de gestion des ensembles de polices. La police sélectionnée est appliquée au style en cours.
Versions 18 et supérieures

Importer une police

Pour importer une nouvelle police :
  1. Dans la fenêtre de gestion des familles de polices, cliquez sur "Importer une police".
  2. L'assistant d'importation d'une police se lance.
  3. Sélectionnez le mode d'import de la police :
    • Importer une police Google Web Fonts :
      • L'assistant propose alors la liste des polices Google à importer.
      • Sélectionnez les polices voulues. Il est possible de visualiser un échantillon de la police en double-cliquant sur son nom.
      • Validez. Les polices sont téléchargées et installées sur le poste en cours.
    • Importer une police depuis des fichiers : L'assistant permet alors de sélectionner les fichiers correspondant aux différents formats de la police :
      • Fichier True Type
      • Fichier Embedded Open Type
      • Fichier Web Open Format
      • Fichier Scalable Vector Graphics
      • Validez. Les polices sélectionnées sont installées.
Remarques :
  • Assurez-vous que les fichiers de police de caractères utilisés sont libres de droits ou que vous possédez une licence vous autorisant à les distribuer.
  • Si vous importez une police et créez un ensemble de polices, les fichiers correspondants à cette police sont copiés dans le sous-répertoire "<Nom_projet>_WEB\Styles\fonts". Ainsi, il seront automatiquement pris en compte lors de l'installation du site.
Attention : Familles de polices contenant des polices importées :
Avant d'utiliser une police téléchargée, il est nécessaire de l'intégrer dans une famille de polices similaires.
Si la famille de polices contient uniquement la police téléchargeable, le cas suivant peut être observé : si la police n'est pas présente sur le navigateur :
  • la police Times est affichée par défaut, le temps que la police demandée soit téléchargée.
  • si la police ne peut pas être téléchargée, la police Times est toujours affichée.
Pour éviter l'affichage d'une police non désirée, il est conseillé de créer une famille de polices contenant les éléments suivants :
  • la ou les polices à télécharger,
  • une ou des polices de substitution qui correspondent aux polices des principaux systèmes,
  • une ou des polices qui correspondent à des polices très populaires,
  • le type de familles de polices associé. La liste des types de familles de polices est la suivante :
    • "cursive" : style manuscrit,
    • "fantasy" : comme Impact,
    • "monospace" comme Courier,
    • "sans-serif" comme Arial,
    • "serif" comme Times.
Si la première police n'est pas trouvée, la première présente dans la liste et sur le poste sera utilisée.
Exemple : La famille de polices suivante est définie : "Open Sans, Segoe UI, Arial, Helvetica, sans-serif". En l'absence de la police "Open Sans", la police "Segoe UI" sera utilisée, sinon la police Arial ou Helvetica est utilisée. Ces polices sont suffisamment connues pour avoir des alternatives correctes. Si ces deux polices ne sont pas trouvées, la première police disponible qui n'a pas de serif sera utilisée.
Nouveauté 18

Importer une police

Pour importer une nouvelle police :
  1. Dans la fenêtre de gestion des familles de polices, cliquez sur "Importer une police".
  2. L'assistant d'importation d'une police se lance.
  3. Sélectionnez le mode d'import de la police :
    • Importer une police Google Web Fonts :
      • L'assistant propose alors la liste des polices Google à importer.
      • Sélectionnez les polices voulues. Il est possible de visualiser un échantillon de la police en double-cliquant sur son nom.
      • Validez. Les polices sont téléchargées et installées sur le poste en cours.
    • Importer une police depuis des fichiers : L'assistant permet alors de sélectionner les fichiers correspondant aux différents formats de la police :
      • Fichier True Type
      • Fichier Embedded Open Type
      • Fichier Web Open Format
      • Fichier Scalable Vector Graphics
      • Validez. Les polices sélectionnées sont installées.
Remarques :
  • Assurez-vous que les fichiers de police de caractères utilisés sont libres de droits ou que vous possédez une licence vous autorisant à les distribuer.
  • Si vous importez une police et créez un ensemble de polices, les fichiers correspondants à cette police sont copiés dans le sous-répertoire "<Nom_projet>_WEB\Styles\fonts". Ainsi, il seront automatiquement pris en compte lors de l'installation du site.
Attention : Familles de polices contenant des polices importées :
Avant d'utiliser une police téléchargée, il est nécessaire de l'intégrer dans une famille de polices similaires.
Si la famille de polices contient uniquement la police téléchargeable, le cas suivant peut être observé : si la police n'est pas présente sur le navigateur :
  • la police Times est affichée par défaut, le temps que la police demandée soit téléchargée.
  • si la police ne peut pas être téléchargée, la police Times est toujours affichée.
Pour éviter l'affichage d'une police non désirée, il est conseillé de créer une famille de polices contenant les éléments suivants :
  • la ou les polices à télécharger,
  • une ou des polices de substitution qui correspondent aux polices des principaux systèmes,
  • une ou des polices qui correspondent à des polices très populaires,
  • le type de familles de polices associé. La liste des types de familles de polices est la suivante :
    • "cursive" : style manuscrit,
    • "fantasy" : comme Impact,
    • "monospace" comme Courier,
    • "sans-serif" comme Arial,
    • "serif" comme Times.
Si la première police n'est pas trouvée, la première présente dans la liste et sur le poste sera utilisée.
Exemple : La famille de polices suivante est définie : "Open Sans, Segoe UI, Arial, Helvetica, sans-serif". En l'absence de la police "Open Sans", la police "Segoe UI" sera utilisée, sinon la police Arial ou Helvetica est utilisée. Ces polices sont suffisamment connues pour avoir des alternatives correctes. Si ces deux polices ne sont pas trouvées, la première police disponible qui n'a pas de serif sera utilisée.

Importer une police

Pour importer une nouvelle police :
  1. Dans la fenêtre de gestion des familles de polices, cliquez sur "Importer une police".
  2. L'assistant d'importation d'une police se lance.
  3. Sélectionnez le mode d'import de la police :
    • Importer une police Google Web Fonts :
      • L'assistant propose alors la liste des polices Google à importer.
      • Sélectionnez les polices voulues. Il est possible de visualiser un échantillon de la police en double-cliquant sur son nom.
      • Validez. Les polices sont téléchargées et installées sur le poste en cours.
    • Importer une police depuis des fichiers : L'assistant permet alors de sélectionner les fichiers correspondant aux différents formats de la police :
      • Fichier True Type
      • Fichier Embedded Open Type
      • Fichier Web Open Format
      • Fichier Scalable Vector Graphics
      • Validez. Les polices sélectionnées sont installées.
Remarques :
  • Assurez-vous que les fichiers de police de caractères utilisés sont libres de droits ou que vous possédez une licence vous autorisant à les distribuer.
  • Si vous importez une police et créez un ensemble de polices, les fichiers correspondants à cette police sont copiés dans le sous-répertoire "<Nom_projet>_WEB\Styles\fonts". Ainsi, il seront automatiquement pris en compte lors de l'installation du site.
Attention : Familles de polices contenant des polices importées :
Avant d'utiliser une police téléchargée, il est nécessaire de l'intégrer dans une famille de polices similaires.
Si la famille de polices contient uniquement la police téléchargeable, le cas suivant peut être observé : si la police n'est pas présente sur le navigateur :
  • la police Times est affichée par défaut, le temps que la police demandée soit téléchargée.
  • si la police ne peut pas être téléchargée, la police Times est toujours affichée.
Pour éviter l'affichage d'une police non désirée, il est conseillé de créer une famille de polices contenant les éléments suivants :
  • la ou les polices à télécharger,
  • une ou des polices de substitution qui correspondent aux polices des principaux systèmes,
  • une ou des polices qui correspondent à des polices très populaires,
  • le type de familles de polices associé. La liste des types de familles de polices est la suivante :
    • "cursive" : style manuscrit,
    • "fantasy" : comme Impact,
    • "monospace" comme Courier,
    • "sans-serif" comme Arial,
    • "serif" comme Times.
Si la première police n'est pas trouvée, la première présente dans la liste et sur le poste sera utilisée.
Exemple : La famille de polices suivante est définie : "Open Sans, Segoe UI, Arial, Helvetica, sans-serif". En l'absence de la police "Open Sans", la police "Segoe UI" sera utilisée, sinon la police Arial ou Helvetica est utilisée. Ces polices sont suffisamment connues pour avoir des alternatives correctes. Si ces deux polices ne sont pas trouvées, la première police disponible qui n'a pas de serif sera utilisée.
Version minimum requise
  • Version 9
Commentaires
Cliquez sur [Ajouter] pour publier un commentaire