dart-lang/chromedeveditor — pull request #3252 by ussuri (2014-08-25 06:52:21+00:00)
Title: Fix: menu wasn't opening on F10

TBR: a trivial fix