add: } catch(e) {} 
context: function EditorGetTextProperty(property, attribute, value){  var htmlEditor = gEditor.QueryInterface(Components.interfaces.nsIHTMLEditor);  if (!htmlEditor) return;  htmlEditor.getTextProperty("font", "size", sizeString,                             firstHas, anyHas, allHas);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/160100a09b4b930d5b308fda04a1e21843697414/editor.js/clean/editor/ui/composer/content/editor.js