Comment ouvrir DevTools dans Opera?

Comment puis-je accéder rapidement aux DevTools dans Opera ?

Lorsque j'ouvre DevTools > Settings > Shortcuts dans Opera et que je défile vers le bas de cette page, vous verrez un lien " Liste complète des raccourcis clavier et gestes de DevTools ", qui pointe vers un document pour Google Chrome (un peu bizarre). La section " Accès aux DevTools " indique que pour ouvrir les outils de développement, je devrais appuyer sur la touche F12 .

Frapper F12 ne fait rien dans mon Opéra (33.0.1990.115, à jour). Que suis-je disparu ?

demandé sur