GoogleChrome/devtools-docs — pull request #16 by jaredwilli (2013-11-18 07:44:53+00:00)
Title: Some small updates to settings and shortcuts

Don't mind the whitespace changes.

The main thing I did is add Cmd+P :number and added the settings that weren't listed in the doc and a description for some.