dart-lang/chromedeveditor — pull request #3257 by umop (2014-08-26 01:18:15+00:00)
Title: JSON preferences (still using prefs panel)

Switches storage of preferences to JSON stored file, but retains the use of the preferences panel to set them. Migrates all stored preferences to use JSON stored file.

@devoncarew