scriptInfo.shiftFromSourceBufferToScriptNumbering = function(lineNo) 
scriptInfo.shiftFromSourceBufferToScriptNumbering = function(lineNo) 
		scriptInfo.shiftFromSourceBufferToScriptNumbering = function(lineNo) 		{			// We've taken the eval source into a buffer starting at 1.			// This particular script starts at baseLineNumber relative to 1.			// The engine uses scriptLineNo = eval-point-lineNumber + lineNo - 1.			//			return lineNo + this.evalLineNumber - 1;		}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/be05bb1b5ce9dc07f6f4f994ca42945edd646c04/firebug-service.js/buggy/extension/components/firebug-service.js