add: gFetchBodyFromServerCheckbox = document.getElementById("fetchBodyFromServer"); 
context: function initializeFilterWidgets(){    gFilterNameElement = document.getElementById("filterName");    gActionTargetElement = document.getElementById("actionTargetFolder");    gActionValueDeck = document.getElementById("actionValueDeck");    gActionPriority = document.getElementById("actionValuePriority");    gActionJunkScore = document.getElementById("actionValueJunkScore");    gActionLabel = document.getElementById("actionValueLabel");    gMoveToFolderCheckbox = document.getElementById("moveToFolder");    gChangePriorityCheckbox = document.getElementById("changePriority");    gChangeJunkScoreCheckbox = document.getElementById("setJunkScore");    gLabelCheckbox = document.getElementById("label");    gJunkScoreCheckbox = document.getElementById("setJunkScore");    gMarkReadCheckbox = document.getElementById("markRead");    gMarkFlaggedCheckbox = document.getElementById("markFlagged");    gDeleteCheckbox = document.getElementById("delete");    gKillCheckbox = document.getElementById("kill");    gWatchCheckbox = document.getElementById("watch");    gDeleteFromServerCheckbox = document.getElementById("deleteFromServer");    gFilterActionList = document.getElementById("filterActionList");}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/0367cfdae3ab31b4b2dc6d57b02190268ac9f437/FilterEditor.js/buggy/mailnews/base/search/resources/content/FilterEditor.js