melat0nin/chrome-devtools-vertical — pull request #13 by vickychijwani (2013-01-11 19:49:22+00:00)
Title: Toolbar customizations

Two toolbar customizations:
- Shrink the toolbar.
- 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.