rem: highlight : function(element) { var highLightColor = "yellow"; if (element.originalColor == undefined) { element.originalColor = elementGetStyle(element, "background-color"); } elementSetStyle(element, {"backgroundColor" : highLightColor}); window.setTimeout(function() { try {  if (!element.parentNode) { return; } elementSetStyle(element, {"backgroundColor" : element.originalColor}); } catch (e) {} }, 200); 
add: function highlight(element) { var highLightColor = "yellow"; if (element.originalColor == undefined) { element.originalColor = elementGetStyle(element, "background-color"); 
context:     highlight : function(element) {        var highLightColor = "yellow";        if (element.originalColor == undefined) { // avoid picking up highlight            element.originalColor = elementGetStyle(element, "background-color");        }        elementSetStyle(element, {"backgroundColor" : highLightColor});        window.setTimeout(function() {            try {                //if element is orphan, probably page of it has already gone, so ignore                if (!element.parentNode) {                    return;                }                elementSetStyle(element, {"backgroundColor" : element.originalColor});            } catch (e) {} // DGF unhighlighting is very dangerous and low priority        }, 200);    }
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/9bfa2422451949855a23a84d82b0d33ca53d9ff0/htmlutils.js/buggy/code/javascript/core/scripts/htmlutils.js