rem: var oldSize = document.getElementById("menu_TextSize_Popup").getAttribute("oldsize"); var diff = newSize - oldSize; If (diff != 0) BrowserChangeTextZoom(diff); 
add: var oldSize = document.getElementById("menu_TextSize_Popup").getAttribute("oldsize"); var diff = (newSize - oldSize); if (diff != 0) BrowserChangeTextZoom(diff); 
context: function BrowserChangeTextSize(newSize)  {     var oldSize = document.getElementById("menu_TextSize_Popup").getAttribute("oldsize");      var diff = newSize - oldSize;       If (diff != 0) BrowserChangeTextZoom(diff);      document.getElementById("menu_TextSize_Popup").setAttribute("oldsize", newSize);                   }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a6bf35857f00fa771130016b9121d30b7985a0b5/navigator.js/buggy/xpfe/browser/resources/content/navigator.js