dart-lang/chromedeveditor — pull request #3189 by keertip (2014-08-19 18:09:25+00:00)
Title: fix for #3085, resize editor on open

@devoncarew