GoogleChrome/apps-developer-tools — pull request #15 by dinhviethoa (2013-09-26 23:55:31+00:00)
Title: Hide "options" while it's not working.

Hi @gaurave, Could you take a look?
Thanks!