GoogleChrome/apps-developer-tools — pull request #59 by p-march (2014-05-10 00:46:57+00:00)
Title: Drop down settings menu.

review @adrifelt