Как открыть DevTools в Opera?

Как я могу быстро получить доступ к инструментам разработки в Opera?

Когда я открою DevTools > Settings > Shortcuts в Opera и прокрутите страницу вниз, вы увидите ссылку " Полный список сочетаний клавиш и жестов DevTools ", которая указывает на документ для Google Chrome (немного странно). В разделе " Доступ к инструментам разработки" говорится, что для открытия инструментов разработчика я должен нажать клавишу F12.

Нажатие клавиши F12 ничего не делает в моей Опере (33.0.1990.115, обновлено). Кто я такой пропал без вести?