luke-chang/gaia — pull request #74 by huchengtw-moz (2014-04-07 10:39:18+00:00)
Title: 1. move handling of widget-editor for overlaymanager to widget_editor.js

2. fix video element issues
3. fix a regression caused by previous refactoring