Changer les polices et zoomer
Fonts & zoom dans les Préférences définit séparément la police de l'interface, la police du code et la police du terminal, avec la taille, l'épaisseur, l'espacement des lignes et les ligatures, ainsi qu'un aperçu en direct. Le zoom redimensionne toute la fenêtre. Restore default fonts and zoom rétablit ces choix et laisse votre thème, votre langue et vos autres paramètres tels qu'ils sont.
Fonctionne dans GitTree Gratuit : toutes les fonctionnalités Git locales, sans compte requis.
Sur cette page
Avant de commencer
- Les polices et le zoom font partie du plan gratuit. Une police que vous saisissez par son nom doit être installée sur cet ordinateur ou être l'une des polices incluses avec GitTree.
- Le zoom et les touches de taille de code sont séparés. Le zoom met à l'échelle le texte, les icônes et l'espacement. La taille du code modifie uniquement la police du code.
Où le trouver
- Preferences (
Mod+,) : Fonts & zoom. - La palette de commandes : recherchez les commandes de police et de zoom.
- La taille du code a également des touches : augmenter, diminuer et réinitialiser. Sur macOS, ils utilisent Commande et Option. Sur Windows et Linux, ils utilisent Ctrl et Alt.
| Action | macOS | Windows et Linux |
|---|---|---|
| Préférences | ⌘, | Ctrl+, |
| Zoomer | ⌘= | Ctrl+= |
| Zoom arrière | ⌘- | Ctrl+- |
| Réinitialiser le zoom | ⌘0 | Ctrl+0 |
Mesures
Ouvrir les polices et zoomer
Ouvrez Preferences et choisissez Fonts & zoom. La page est l'une des pages de préférences groupées. Preview affiche un court échantillon, comprenant un sujet de validation, afin que vous puissiez voir la police du code avant de quitter la page.
Polices et zoom est une page de cette fenêtre Préférences. L'affiche toujours les préférences, pas nécessairement la liste des polices.Interface GitTree avec un référentiel de démonstration. Choisissez chaque police
Définissez séparément les polices de l'interface, du code et du terminal. Included with GitTree répertorie les visages regroupés. On this computer répertorie les polices installées. Fira Code, Cascadia Code et Source Code Pro font partie des polices de codage que vous pouvez choisir. Une police de terminal vide utilise la police de code. Si la liste n'est pas lisible, vous pouvez toujours saisir un nom de famille de polices.
Définir la taille, l'espacement et les ligatures
Le poids du code, l'espacement des lignes et les ligatures s'appliquent aux vues de code, y compris les différences, les blame, les vues de fusion et les journaux de pipeline. Augmentez, diminuez ou réinitialisez la taille de la police du code depuis le menu, la palette de commandes ou les touches du tableau ci-dessous. Ces touches ne modifient pas la police de l'interface.
Zoomez sur la fenêtre ou restaurez les paramètres par défaut
Zoom in, Zoom out et Reset zoom mettent à l'échelle toute la fenêtre, y compris le texte, les icônes et l'espacement. Restore default fonts and zoom vous demande de confirmer. Il restaure le zoom et les polices et tailles de l'interface, du code et du terminal. Votre thème, votre langue et vos autres paramètres restent tels quels.
Résultat attendu
Le code, les différences et le terminal utilisent les polices que vous définissez, et le zoom de la fenêtre est l'échelle que vous définissez. Rouvrez un différentiel si une vue était déjà à l'écran lorsque vous avez modifié la police du code. L'aperçu sur la page des préférences est l'échantillon à vérifier en premier.
Zoom et taille du code
| Action | macOS | Windows et Linux |
|---|---|---|
| Zoomer | Commande et = | Ctrl et = |
| Zoom arrière | Commande et - | Ctrl et - |
| Réinitialiser le zoom | Commande et 0 | Ctrl et 0 |
| Augmenter la taille du code | Option de commande = | Ctrl-Alt = |
| Diminuer la taille du code | Option de commande - | Ctrl-Alt - |
| Réinitialiser la taille du code | Option de commande 0 | Ctrl Alt 0 |
Les lignes de zoom sont les accords Mod+=, Mod+- et Mod+0 de l'application. Mod est Commande sur macOS et Contrôle sur Windows et Linux. Les accords de taille de code ajoutent Option sur macOS et Alt sur Windows et Linux. Vous pouvez relier les accords dans raccourcis clavier.
Où les polices s'appliquent
La police de code est utilisée par les différences, les blame, les vues de fusion et les journaux de pipeline. Le fichier de travail diff conserve le chemin et les contrôles d'affichage sur une seule ligne, et cette ligne suit les mêmes préférences de police. Le terminal utilise Terminal font et Terminal font size lorsque vous les définissez. Vide signifie la police du code. Apparence et langue est le thème et la langue de l'interface, que la restauration ne change pas.
git diff --word-diff
git blame --date=short README.mdCes commandes sont les équivalents terminaux des vues qui récupèrent la police de code à l'intérieur de GitTree. Ils ne modifient pas les paramètres de police de GitTree. La leçon tutoriel sur la lecture d'un différentiel est la même comparaison sans la page de polices.
Restaurer et une police que la liste ne peut pas voir
Couldn’t read installed fonts. You can still type a font name. Tapez le nom de famille. No font matches signifie que le filtre a exclu tous les visages. Read installed fonts again réessaye la liste. Restore defaults est le bouton de confirmation. Annuler laisse vos polices actuelles en place.
Si quelque chose ne va pas
"Impossible de lire les polices installées. Vous pouvez toujours saisir un nom de police."
Tapez le nom de famille ou appuyez à nouveau sur Lire les polices installées. Les polices regroupées sous Inclus avec GitTree restent disponibles.
« Aucune police ne correspond » à la requête.
Effacez le filtre. Le message signifie que la recherche a exclu la liste, et non que toutes les polices ont été désinstallées.
Zoom a modifié les icônes et vous ne vouliez que du code plus gros.
Réinitialisez le zoom avec Mod+0. Modifiez ensuite la taille du code avec les touches de taille de code ou la taille de la police du code sur Polices et zoom. Le zoom redimensionne toute la fenêtre.
La police du terminal n'a pas changé.
Une police de terminal vide utilise la police de code. Définissez la police du terminal et la taille de la police du terminal si vous souhaitez un visage différent. Le redémarrage n’est pas requis pour la préférence. Ouvrez à nouveau le terminal s'il affichait déjà une session.
Questions
Le zoom modifie-t-il uniquement le texte ?
Non. Le zoom redimensionne toute la fenêtre, y compris le texte, les icônes et l'espacement. La taille du code est le contrôle distinct de la police du code.
La restauration des paramètres par défaut modifiera-t-elle ma langue ?
Non. Le corps de la confirmation indique que le thème, la langue et les autres paramètres restent tels quels. Zoom et les trois polices et leurs tailles reviennent aux valeurs par défaut.
Puis-je utiliser une police qui ne figure pas dans la liste ?
Oui. Tapez un nom de famille de polices. Ce doit être un visage que l'ordinateur peut dessiner. Si les polices installées ne peuvent pas être lues, la saisie d'un nom est le chemin proposé par la page.
Les ligatures s'appliquent-elles aux étiquettes du graphique de validation ?
Les ligatures font partie des paramètres de police du code. Les vues de code, y compris les différences, les blame, les vues de fusion et les journaux de pipeline, suivent la police du code. La police de l'interface est distincte.
Est-ce une fonctionnalité Pro ?
Non. Les polices et le zoom font partie du forfait gratuit, sans qu'aucun compte ne soit nécessaire.