1647237 - Can't hide devtools with Ctrl+Shift+K

Status: NEW

(DevTools :: Console, defect, P3)

Description

[Mirko Brodesser (:mbrodesser) -- not reading bugmails currently]

Thank you for helping make Firefox better. If you are reporting a defect, please complete the following:

What were you doing?

Please tell us what site you were on, and what steps led to the error you are reporting

1. Open an arbitrary website.
2. Press Ctrl+Shift+K.
3. Press Ctrl+Shift+K.

What happened?

DevTools opened.

What should have happened?

DevTools should have been closed after step 3.

Anything else we should know?

Happened on Nightly, with Ubuntu 18.04. Chrome's devtools close.

Comment 1

[BugBot [:suhaib / :marco]]

The severity field is not set for this bug.
:Honza, could you have a look please?

For more information, please visit auto_nag documentation.

Comment 2

[Jan Honza Odvarko [:Honza] (always need-info? me)]

Thanks for the report!

DevTools can be toggled (opened/closed) using Ctrl+Shift+I

Ctrl+Shift+K is for opening the Web Console

Nicolas, should the second Ctrl+Shift+K close the Toolbox?

Honza

Comment 3

[Nicolas Chevobbe [:nchevobbe]]

probably since it's working in other panel (e.g. Netmonitor)