add: var RDF = Components.classes["@mozilla.org/rdf/rdf-service;1"].getService(Components.interfaces.nsIRDFService); var index = gDialog.charsetTree.builderView.getIndexOfResource(RDF.GetResource(charset)); if (index >= 0) { var treeBox = gDialog.charsetTree.treeBoxObject; treeBox.selection.select(index); treeBox.ensureRowIsVisible(index); } 
context: function InitDialog() {  gDialog.TitleInput.value = editorShell.GetDocumentTitle();  charset = editorShell.GetDocumentCharacterSet();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/fa180dfaba4df0a6e9eaf20189d68488dc69653d/EditorSaveAsCharset.js/clean/editor/ui/dialogs/content/EditorSaveAsCharset.js