mozilla1.7/mozilla/extensions/editor
