简体中文(ZH-CN) English(EN) 繁体中文(ZH-TW) 日本語(JA) 한국어(KO) Melayu(MS) Français(FR) Deutsch(DE)
Comment définir différentes tailles de police ou même des thèmes pour différentes fenêtres dans phpstorm ?
阿神
阿神 2017-06-13 09:22:29
0
2
1114

RT :

Comment définir différentes tailles de police ou même des thèmes pour différentes fenêtres dans phpstorm ?

阿神
阿神

闭关修行中......

répondre à tous(1)
巴扎黑
巴扎黑2017-06-13 09:24:29 1 plancher

Il semble qu'une telle fonction n'existe pas, mais vous pouvez utiliser la souris pour contrôler le zoom de la fenêtre dans différentes fenêtres

Comme +0
Ajouter une réponse
  • répondre Où sont les paramètres du thème ?
    小生我怕怕啊 auteur 2018-07-05 11:27:23
Sujets populaires
Plus>
Articles populaires
Tutoriels populaires
Plus>
Tutoriels associés
Recommandations populaires
Derniers cours
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal
À propos de nous Clause de non-responsabilité Sitemap
Site Web PHP chinois：Formation PHP en ligne sur le bien-être public，Aidez les apprenants PHP à grandir rapidement！