dart-lang/chromedeveditor — pull request #3755 by ussuri (2014-11-25 08:39:53+00:00)
Title: Set Roboto in widgets conservatively + final -> const for 1 variable

TBR

Setting Roboto conservatively saves space in DOM/CSS and is important for one other large refactoring I'm working on.