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