mozilla/editor/guimgr/public
