Wie kann ich in Opera schnell auf DevTools zugreifen?
Wenn ich DevTools > Settings > Shortcuts
in Opera öffne und zum Ende dieser Seite scrolle, sehen Sie einen Link "Vollständige Liste der DevTools-Tastaturkürzel und -Gesten", das auf ein Dokument für Google Chrome verweist (etwas seltsam). Abschnitt "Zugriff auf DevTools" sagt, dass ich zum Öffnen der Entwicklertools F12die Taste drücken soll.
Das Drücken F12der Taste passiert in meinem Opera nicht ( 33.0.1990.115
, aktuell). Was übersehe ich?
Antwort1
Derzeit (die aktuelle Opera-Version ist 53.0.2907.57) können Sie Folgendes tun:
- gehe zum
O
Hauptmenü ->Settings
- Geben Sie „short“ in das Suchfeld oben ein, um die
Shortcuts
Einstellungen schnell zu finden - klicktaste
Configure shortcuts
- Geben Sie „dev“ in das Textfeld oben ein, um die
Developer tools
Tastenkombination schnell zu finden.
Auf diese Weise können Sie die aktuelle Tastenkombination sehen und die Standardeinstellung Ctrl+ Shift+ Iin eine gebräuchlichere Taste F12oder eine andere Taste Ihrer Wahl ändern.
Antwort2
Gehen Sie zu „Einfache Einstellungen“ --> „Einstellungen“ --> und scrollen Sie dann nach unten, um „Verknüpfungen“ zu finden. Wählen Sie „Verknüpfungen konfigurieren“ --> und suchen Sie dann nach „Developer Tools Console“. Wenn Sie in der Zeile „Developer Tools“ scrollen, sehen Sie die Leiste „Verknüpfung eingeben“. Klicken Sie darauf und drücken Sie F12. Und Sie können „Developer Tools“ mit F12 aufrufen.