rem: this.wsm.attributes = ["preftype", "prefstring", "prefattribute", "disabled"]; 
add: this.wsm.attributes = ["preftype", "prefstring", "prefattribute", "prefinverse", "disabled"]; 
context: function nsPrefWindow( frame_id ){  if ( !frame_id )    throw "Error: frame_id not supplied!";  this.contentFrame   = frame_id  this.wsm            = new nsWidgetStateManager( frame_id );  this.wsm.attributes = ["preftype", "prefstring", "prefattribute", "disabled"];  this.pref           = null;  this.chromeRegistry = null;  this.observerService= null;    this.cancelHandlers = [];  this.okHandlers     = [];    // if there is a system pref switch  this.pagePrefChanged = false;  // the set of pages, which are updated after a system pref switch  this.pagePrefUpdated = [];  // set up window  this.onload();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/f287978ed61475ce4a02e14f7f82847593d3730b/nsPrefWindow.js/buggy/xpfe/components/prefwindow/resources/content/nsPrefWindow.js