[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


Brian Burg <burg at cs.washington.edu> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
                 CC|                            |burg at cs.washington.edu




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