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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d3daaf97ec983e310bafe0817f63ecf57849d544/navigator.js/buggy/suite/browser/navigator.js