rem: highlight: function() { Highlighter.highlight(this.source); }, 
add: box.highlight = function(card) {  this.left = getLeft(card) - gGameStackLeft; this.top = getTop(card) - gGameStackTop; this.width = getWidth(card); this.height = card.isCard ? getBottom(card.parentNode.lastChild)-getTop(card) : getHeight(card); }; 
context:   highlight: function() { Highlighter.highlight(this.source); },
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3385/026cd4e02ba7cdf4b216ddc2cff4c5d36ac884bd/cardslib.js/buggy/cardslib.js