dart-lang/spark — pull request #313 by devoncarew (2013-11-26 20:08:15+00:00)
Title: fix theme and keys menus items for the polymer UI

@ussuri This fixes the polymer UI, wrt my theme and key binding changes.