melat0nin/chrome-devtools-vertical — pull request #10 by vickychijwani (2013-01-10 23:12:20+00:00)
Title: Toolbar customizations

Two toolbar customizations:

1. Shrink the toolbar.
2. Fix a bug with vertical docking which causes the "More" dropdown at the right end of the toolbar to appear off the right edge of the browser.