How can I quickly access DevTools in Opera?
When I open
DevTools > Settings > Shortcuts in Opera and scroll to the bottom of this page, you'll see a link "Full list of DevTools keyboard shortcuts and gestures", that points to a document for Google Chrome (a bit weird). Section "Accessing DevTools" says, that to open Developer Tools I should hit F12 key.
Hitting F12 key does nothing in my Opera (
33.0.1990.115, up to date). What am I missing?