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