luke-chang/gaia — pull request #77 by huchengtw-moz (2014-04-07 10:46:43+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