dart-lang/spark — pull request #230 by devoncarew (2013-11-15 18:39:40+00:00)
Title: decrease the flush interval for local prefs

Decrease the flush interval time for local preferences (but keep the interval for sync prefs the same). We currently don't get a window close event; this will make sure that changes are flushed out more reliably.

@keertip