Google Docs vous permet d’ajouter rapidement différentes polices que vous pouvez utiliser avec vos documents. À un moment donné, vous souhaiterez peut-être supprimer ces polices afin qu’elles n’encombrent plus votre liste déroulante Polices (disponible dans la barre d’outils).

L’ajout et la suppression de polices sont gérés à l’aide de la boîte de dialogue Polices. Pour afficher la boîte de dialogue, cliquez sur la liste déroulante Polices. Vous verrez une liste des polices disponibles dans Docs. Cliquez sur l’option Plus de polices, tout en bas de la liste. Docs affiche la boîte de dialogue Polices. (Voir la figure 1.)

image

Figure 1. La boîte de dialogue Polices.

La boîte de dialogue a un côté gauche et un côté droit. Le moyen le plus simple de supprimer des polices est d’utiliser le côté droit, dans la liste Mes polices. Cliquez simplement sur le X qui apparaît à droite du nom de la police que vous souhaitez supprimer. Vous pouvez également, si vous le souhaitez, faire défiler le côté gauche de la boîte de dialogue et cliquer sur le nom d’une police actuellement installée. (Vous pouvez savoir si une police est actuellement installée car elle est affichée en bleu et a une coche à gauche du nom de la police.)

Il est intéressant de noter qu’il semble que Google Docs vous oblige à avoir au moins une police dans votre liste Mes polices. Si vous supprimez toutes les polices de cette liste, le bouton OK pour fermer la boîte de dialogue n’est plus cliquable.