andreasgal/gaia — pull request #721 by davidflanagan (2012-03-06 22:15:20+00:00)
Title: a bunch of small window_manager.js and task_manager.js changes

These are small things before I start making larger structural changes to the code.