Notes d'utilisation de PhpStorm (3)

Attention : in_array() s'attend à ce que le paramètre 2 soit un tableau, null donné dans D:wwwrootiphp8wwwrootcontenttemplatesHyPurpleecho_log.php à la ligne 50

Mise à l'échelle rapide des polices

PhpStorm fournit une fonction de mise à l'échelle rapide des polices , la méthode d'utilisation spécifique est la suivante : dans la zone d'édition activée, appuyez et maintenez la touche Ctrl enfoncée, puis faites rouler la molette de la souris pour agrandir ou réduire la police.

Si vous constatez que cette opération est inefficace, vous devez alors vous demander si elle n'est pas activée dans les paramètres.

La méthode pour activer ou désactiver cette fonction est la suivante :

Ouvrez la boîte de dialogue Paramètres et cliquez sur Éditeur -> À ce stade, vous pouvez voir qu'il existe une sous-option dans l'option Souris : Modifier la taille de la police (Zoom) avec la molette Ctrl de la souris. Si vous avez besoin de cette fonction, cochez-la, sinon décochez-la.

Il y a une autre chose qui mérite attention ici. Si cette fonction est activée, comment réinitialiser rapidement la taille de la police après avoir agrandi ou réduit la police est un problème qui ne peut être ignoré. Étant donné que PhpStorm actuel ne fournit pas de valeur de rapport de référence pour l'agrandissement ou la réduction, il est impossible de déterminer avec précision si la taille de police actuelle est la valeur initiale.

Hy369 a déjà été troublé par cela et ne savait pas quoi faire. Après avoir lu le manuel cette fois, j'ai découvert qu'il n'est pas nécessaire de faire défiler la molette de la souris pour vérifier visuellement si elle est revenue à taille humaine. La méthode de fonctionnement de la réinitialisation de la mise à l'échelle des polices est la suivante :

Appelez la boîte de dialogue des propriétés de comportement via Ctrl Shift A, entrez Réinitialiser la taille de la police dans la zone de saisie, et cette commande sera également répertoriée dans la liste alternative. Appuyez ensuite sur la touche Entrée pour réinitialiser immédiatement les paramètres de mise à l'échelle des polices.

La raison pour laquelle cette opération de réinitialisation est effectuée via la boîte de dialogue des propriétés de comportement est que jusqu'à présent, PhpStorm ne fournit pas de touche de raccourci par défaut pour cette action. Puisqu'aucune touche de raccourci par défaut n'est fournie, cela signifie que des touches de raccourci peuvent être définies.

Ici, nous abordons la question de la configuration des touches de raccourci, proposons donc une méthode de personnalisation des touches de raccourci.

Touches de raccourci personnalisées

PhpStorm, en tant qu'IDE puissant, a naturellement pour fonction de personnaliser les touches de raccourci. La méthode de configuration spécifique est la suivante :

Ouvrez la boîte de dialogue Paramètres et cliquez sur Keymap. À ce stade, vous pouvez voir que la boîte de dialogue a répertorié toutes les listes de commandes et que les touches de raccourci existantes pour chaque commande sont également attachées à la commande.

Entrez des mots-clés dans la zone de saisie de recherche pour rechercher des instructions. Il y a un bouton sur le côté droit de la zone de saisie. Si vous passez la souris sur le bouton, des actions de recherche par raccourci s'afficheront. C'est une fonction très pratique. Après avoir cliqué sur le bouton, vous pouvez utiliser la touche de raccourci pour demander à quelle commande la touche de raccourci est actuellement affectée.

Cliquez avec le bouton droit sur la commande et une boîte de dialogue déroulante apparaîtra. La boîte de dialogue propose des options pour ajouter des touches de raccourci et supprimer des touches de raccourci. Vous pouvez la vérifier et l'étudier vous-même.

Ce qui précède est le contenu du mémo d'utilisation de PhpStorm (3). Pour plus de contenu connexe, veuillez faire attention au site Web PHP chinois (www.php.cn) !