mozilla1.7/mozilla/editor/public
