rem: this.tabWidth = console.prefs["sourcetext.tab.width"]; this.fileName = url; this.scriptContainer = scriptContainer; this.lineMap = new Array(); 
add: this.tabWidth = console.prefs["tabWidth"]; if (scriptInstance instanceof ScriptInstance) { this.scriptInstance = scriptInstance; this.url = scriptInstance.url; this.jsdURL = JSD_URL_SCHEME + "source?location=" + escape(this.url) + "&instance=" + scriptInstance.sequence; } else { /* assume scriptInstance is a string containing the filename */ this.url = scriptInstance; this.jsdURL = JSD_URL_SCHEME + "source?location=" + escape(this.url); }  this.shortName = getFileFromPath (this.url); 
context: function SourceText (scriptContainer, url){    this.lines = new Array();    this.tabWidth = console.prefs["sourcetext.tab.width"];    this.fileName = url;    this.scriptContainer = scriptContainer;    this.lineMap = new Array();}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/92b1e3b67c6c3ef1915d2a0e18c1fa7be21e200e/venkman-static.js/clean/extensions/venkman/resources/content/venkman-static.js