gInPrintPreviewMode = false; FullZoom.setSettingValue(); 
function onExitPrintPreview(){  // restore chrome to original state  toggleAffectedChrome(false);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/34a6718afd0b5fcf42b4c35d3a699b7741d4bb0b/browser.js/clean/browser/base/content/browser.js