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

Question

RT :

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

Answer 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