Comment modifier la police d'annotation Source Insight Comment modifier la police d'annotation

Craignez-vous que la taille de la police et la couleur des commentaires dans Source Insight ne correspondent pas à vos habitudes de lecture ? Ne vous inquiétez pas, l'éditeur PHP Zimo y répondra pour vous ! Dans cet article, l'éditeur présentera en détail la méthode de modification de la police des annotations Source Insight et vous guidera étape par étape pour personnaliser l'effet d'affichage des annotations, rendant votre expérience de codage plus confortable et efficace. Venez lire l'article complet et résolvez facilement le problème de la police d'annotation !

Tout d'abord, cliquez sur le menu VIEW (comme indiqué sur l'image).

Ensuite, vérifiez simplement draftview (comme indiqué sur l'image).

Méthode 2 :

Tout d'abord, cliquez sur le menu d'options et cliquez sur les propriétés du style (comme indiqué sur l'image).

De cette façon, vous pouvez modifier le commentaire (comme indiqué sur l'image).

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!