rem: var mixedObj = new Object(); 
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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/160100a09b4b930d5b308fda04a1e21843697414/editor.js/buggy/editor/ui/composer/content/editor.js