RT :
Comment définir différentes tailles de police ou même des thèmes pour différentes fenêtres dans phpstorm ?
闭关修行中......
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
![[Web front-end] Démarrage rapide de Node.js](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
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