Cette astuce vient d'apparaître dans mon IDE phpStorm (OS X):
La touche in de n'importe quelle fenêtre d'outil déplace le focus vers l'éditeur. ⇧⎋ déplace le focus vers l'éditeur et masque également la fenêtre d'outil actuelle (ou dernière active). La touche F12 déplace le focus de l'éditeur vers la dernière fenêtre d'outil focalisée.
Je n'ai jamais vu ce symbole clé auparavant et Google n'a rien retourné.
Quelqu'un connaît la signification de cette mystérieuse clé?