rem: if (!window.khtml) debug._hgt -= 3; 
add: if (!window.webkit) debug._hgt -= 3; 
context: 	resetHeight: function(){		debug._hgt = debug._body.offsetHeight;		if (!window.khtml) debug._hgt -= 3;		else debug._hgt -= 1;		debug._gts.setStyle('top', (debug._hgt - debug._gts.offsetHeight - 1));		debug.resize();		debug._scroll.toBottom();	},
meta: 5237	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5237/1e252de3cec88234b44c3798f1f4966d2b8d8a4a/Debugger.js/buggy/Misc/Debugger.js