GoogleChrome/apps-developer-tools — pull request #49 by adrifelt (2014-05-09 17:56:06+00:00)
Title: Add the settings gear

This adds the settings gear that will go in the upper right side.

review: @mvrable