rem: var state = gEditor.QueryInterface(Components.interfaces.nsIHTMLEditor).getHighlightColorState(mixedObj); 
add: var mixedObj = new Object(); var state = gEditor.getHighlightColorState(mixedObj); 
context: function AfterHighlightColorChange(){  var button = document.getElementById("cmd_highlight");  var mixedObj = new Object();  if (button) {    var state = gEditor.QueryInterface(Components.interfaces.nsIHTMLEditor).getHighlightColorState(mixedObj);    button.setAttribute("state", state);    onHighlightColorChange();  }      }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/d56262a401c9d60bbef8fdbf3317ef55705279f1/editor.js/buggy/editor/ui/composer/content/editor.js