rem: this.GetDataForTag    = WSM_GetDataForTag; 
add: this.GetDataForTag     = WSM_GetDataForTag; this.SetDataForTag     = WSM_SetDataForTag; 
context: function WidgetStateManager( frame_id, panelPrefix, panelSuffix ){  // data members  /**   *  hash table for data values:   *    page1  =>  id1  =>  value1   *    page1  =>  id2  =>  value2   *    page2  =>  id1  =>  value1   *    page2  =>  id2  =>  value2   **/  this.PageData          = [];  this.content_frame     = window.frames[frame_id];  this.panelPrefix       = ( panelPrefix ) ? panelPrefix : null;  this.panelSuffix       = ( panelSuffix ) ? panelSuffix : null;    // member functions  this.SavePageData      = WSM_SavePageData;  this.SetPageData       = WSM_SetPageData;  this.PageIsValid       = WSM_PageIsValid;  this.GetTagFromURL     = WSM_GetTagFromURL;  this.GetURLFromTag     = WSM_GetURLFromTag;  this.toString          = WSM_toString;  this.AddAttributes     = WSM_AddAttributes;  this.ElementIsIgnored  = WSM_ElementIsIgnored;  this.HasValidElements  = WSM_HasValidElements;  this.LookupElement     = WSM_LookupElement;  this.GetDataForTag    = WSM_GetDataForTag;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/548f4bbdfaf226c02e4da276813aa64c871fdc50/widgetStateManager.js/clean/xpfe/global/resources/content/widgetStateManager.js