rem: textZoomMenu.setAttribute("value", menuLabel); 
add: textZoomMenu.setAttribute("label", menuLabel); 
context: function updateViewMenu(){  var zoom = ZoomManager.prototype.getInstance();  var textZoomMenu = document.getElementById("menu_textZoom");  var menuLabel = zoom.bundle.getString("menuLabel").replace(/%zoom%/, zoom.textZoom);  textZoomMenu.setAttribute("value", menuLabel);}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/f17b66929dfbdda35587b944072b9af16850e6ec/viewZoomOverlay.js/clean/suite/common/viewZoomOverlay.js