Atualmente (versão atualizada do Opera é 53.0.2907.57), você pode fazer o seguinte:
- vá para o menu principal
O
- > %código% - digite "curto" na caixa de texto na parte superior para localizar rapidamente
Settings
configurações - clique no botão
Shortcuts
- digite "dev" na caixa de texto na parte superior para encontrar rapidamente a vinculação de chave
Configure shortcuts
.
Dessa forma, você pode ver a vinculação de chave atual e alterar o padrão Developer
tools
+ Ctrl
+ Shit
para mais comum I
ou o que quiser.