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
1173

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)
巴扎黑

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

  • répondre Où sont les paramètres du thème ?
    小生我怕怕啊 auteur 2018-07-05 11:27:23
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal