digitarald/flash-b2g — pull request #1 by jryans (2014-08-12 21:41:36+00:00)
Title: Clean up prefs / settings

I fixed up the DevTools prefs / settings a bit.

`discardSystemSource` is no longer needed, as the problem was a solved in a different way later on.