Maison >outils de développement >webstorm >Comment changer le thème dans Webstorm

Comment changer le thème dans Webstorm

下次还敢
下次还敢original
2024-04-08 15:57:12709parcourir

Pour modifier votre thème WebStorm, accédez à Paramètres > Apparence et comportement > Thèmes et sélectionnez le thème souhaité dans le menu déroulant. Vous pouvez télécharger des thèmes tiers supplémentaires depuis JetBrains Marketplace.

Comment changer le thème dans Webstorm

Comment changer le thème WebStorm

Pour changer le thème WebStorm, suivez ces étapes :

  1. Ouvrez la fenêtre des paramètres

    • Sur macOS : accédez à WebStorm > .. ."
    • Sous Windows : accédez à Fichier > Paramètres...
  2. Accédez à "Apparence et comportement"

    • Sur macOS : accédez à "Apparence et comportement"
    • Sous Windows : accédez à Éditeur > Apparence et comportement
  3. Choisissez un thème

    • Sous l'onglet Apparence, recherchez le menu déroulant Thème.
  4. APPLIQUER LE THÈME

    • Sélectionnez un thème dans le menu déroulant et WebStorm appliquera automatiquement le thème sélectionné.

Si vous souhaitez installer plus de thèmes, vous pouvez visiter le JetBrains Marketplace et parcourir les thèmes disponibles en téléchargement dans la catégorie « Thèmes de l'éditeur » : https://plugins.jetbrains.com/category/editor-themes.

Après avoir installé un thème tiers, il apparaîtra dans le menu déroulant pour que vous puissiez le choisir. Veuillez noter que certains thèmes tiers peuvent nécessiter un redémarrage de WebStorm pour s'appliquer correctement.

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!

Déclaration:
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn