add: gActionValueDeck = document.getElementById("actionValueDeck"); gActionPriority = document.getElementById("actionValuePriority"); 
context: function initializeFilterWidgets(){    gFilterNameElement = document.getElementById("filterName");    gActionElement = document.getElementById("actionMenu");    gActionTargetElement = document.getElementById("actionTargetFolder");}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f18e2f823073f78ee33041bea9ec015a431e422c/FilterEditor.js/clean/mailnews/base/search/resources/content/FilterEditor.js