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?
edit
link around each answer, ya know? :) So... I may agree on (d) comment only, however, you could craft your answer without it and keep that one in a comment. But... after all... it is your answer and no one can force you to write it, if you don't want to (except lord Darth Vader)! :)