joewalker/devtools-window — pull request #76 by harthur (2012-10-18 23:50:40+00:00)
Title: Close toolbox window on ctrl-W

Fixes #75. Users will definitely expect to be able to use the standard close-window shortcut to close the devtools window.