[Webkit-unassigned] [Bug 34925] Keyboard shortcuts do not close Developer Tools

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=34925


Alexander Pavlov (apavlov) <apavlov at chromium.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |apavlov at chromium.org




--- Comment #1 from Alexander Pavlov (apavlov) <apavlov at chromium.org>  2012-09-21 04:01:49 PST ---
This behavior is browser-specific, and this is not the right component for the bug.

In Chromium, it is an explicit decision not to close detached DevTools using these shortcuts, so that they can be inspected, too.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.