Ce conseil vient de s'afficher dans mon IDE phpStorm (OS X) :
La touche dans n'importe quelle fenêtre d'outil met le focus sur l'éditeur. déplace le focus sur l'éditeur et masque également la fenêtre d'outil actuelle (ou la dernière active). La touche F12 déplace le focus de l'éditeur vers la dernière fenêtre d'outil sur laquelle le focus avait été mis.
Je n'avais jamais vu ce symbole de touche auparavant et Google n'a rien renvoyé.
Est-ce que quelqu'un connaît la signification de cette touche mystérieuse ?
