Appuyer sur les touches + ou – tout en maintenant la touche Contrôle (Ctrl) enfoncée vous permet d’augmenter ou de diminuer la taille de la police dans Windows. Toutefois, si vous utilisez une disposition de clavier allemande, vous pouvez rencontrer ce problème. Appuyer sur Ctrl+ peut ne pas augmenter la taille de police dans le terminal Windows. Voyez ce que vous devez faire pour résoudre le problème.
Le correctif CTRL+ n’augmente pas la taille de la police dans le terminal Windows
Le problème lié à la taille de la police dans le terminal Windows se produit principalement lorsque la disposition de votre clavier principal est définie sur l’allemand. Cela se produit parce que les actions Ctrl et + peuvent être désérialisées en tant que Ctrl+Maj+0 car il s’agit du mappage correct pour les claviers allemands. Pour résoudre ce problème, vous devrez modifier les raccourcis clavier pour changer la disposition du clavier dans Windows 10.
- Lancez les paramètres Windows.
- Allez dans Périphériques.
- Faites défiler jusqu’à la section Saisie.
- Choisissez le clavier.
- Cliquez sur le lien Paramètres avancés du clavier > Options de la barre de langue.
- Passez à l’onglet Paramètres avancés des touches de la boîte de dialogue Services de texte et langues d’entrée.
- Sélectionnez Entre les langues d’entrée dans la liste.
- Appuyez sur la séquence de touches Modifier bouton.
- Sélectionnez la nouvelle clé.
- Cliquez sur OK.
Sérialisation et désérialisation sont les processus liés à JSON, un format qui encode les objets dans une chaîne. La sérialisation en JSON fait référence à la conversion d’un objet en une chaîne, et la désérialisation est son opération inverse, c’est-à-dire la conversion de la chaîne en un objet.
Ouvrez les paramètres Windows et choisissez l’onglet Périphériques .
Sous l’onglet Appareils, faites défiler jusqu’à la section Saisie pour la sélectionner.
Ici, choisissez Clavier et accédez au lien Paramètres avancés du clavier.
Cliquez sur le lien Options de la barre de langue.
Instantanément, le Texte La boîte de dialogue Services et langues d’entrée devrait apparaître sur l’écran de votre ordinateur.
Passez à l’onglet Paramètres de clé avancés de la boîte de dialogue et sélectionnez Option Entre les langues de saisie .
Maintenant, appuyez sur le bouton Changer la séquence de touches.
Une fois terminé, sélectionnez la nouvelle clé et appuyez sur le bouton OK.
Redémarrez votre système pour permettre aux modifications de prendre effet.
Qu’est-ce que la police de Windows Terminal ?
La police utilisée dans le terminal Windows est le code Cascadia. Il s’agit d’une nouvelle police à espacement fixe de Microsoft qui offre une nouvelle expérience aux applications de ligne de commande et aux éditeurs de texte.
Comment augmenter la taille de la police dans Windows Terminal ?
Le moyen le plus simple d’augmenter la taille de la police dans le terminal Windows est de maintenir la touche Ctrl enfoncée et d’utiliser l’action de défilement. En faisant défiler vers l’arrière, vous pouvez réduire la taille du texte. Le zoom persistera pour cette session de terminal.
J’espère que cela vous aidera !