rem: this.tabWidth = console.prefs["sourcetext.tab.width"]; this.fileName = "x-jsd:help"; 
add: this.tabWidth = console.prefs["tabWidth"]; this.jsdURL = this.url = JSD_URL_SCHEME + "help"; this.shortName = this.url; 
context: function HelpText (){    this.tabWidth = console.prefs["sourcetext.tab.width"];    this.fileName = "x-jsd:help";    this.reloadSource();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js