rem: element = editorShell.getSelectedElement("href"); 
add: element = gEditor.getSelectedElement("href"); 
context: function EditorDblClick(event){  if (event.target)  {    // Only bring up properties if clicked on an element or selected link    var element;    try {      element = event.target.QueryInterface(Components.interfaces.nsIDOMElement);    } catch (e) {}     //  We use "href" instead of "a" to not be fooled by named anchor    if (!element)      element = editorShell.getSelectedElement("href");    if (element)    {      goDoCommand("cmd_objectProperties");        event.preventDefault();    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/d56262a401c9d60bbef8fdbf3317ef55705279f1/editor.js/buggy/editor/ui/composer/content/editor.js