La colonne tutorielle suivante de phpstorm vous présentera comment désinstaller le plug-in phpstrom. J'espère qu'elle sera utile aux amis qui en ont besoin !
Parce que je prends habituellement des notes en utilisant des démarques se terminant par .md
. 🎜> L'éditeur utilisé est phpstrom.
On me signale sans cesse qu'il me manque des plug-ins liés au markdown
Aujourd'hui, j'étais tellement excité que je voulais l'installer et voir les changements
Ensuite, j'ai cliqué sur installer
. Il y a encore beaucoup de changements après l'installation.
Oui, j'ai utilisé certaines touches de raccourci markdown directement dans phpStrom,
mais ce qui m'a donné une sensation plus intuitive, c'est que
l'éditeur est resté bloqué donc je viens de le désinstaller directement. . . .
Désinstallez-la simplement directement sous Fichier -> Paramètres -> Plugins.
Sélectionnez le plug-in que vous souhaitez désinstaller, Un bouton de désinstallation s'affichera dans la zone d'introduction à droite,
ou vous pouvez directement supprimer la
coche de la case à cocher. Ensuite, vous serez invité à réexécuter l'éditeur et à suivre les étapes.
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!