rem: PageLoader.LoadPage(PageLoader.currentDescriptor, pageLoaderIface.DISPLAY_NORMAL); 
add: PageLoader.loadPage(PageLoader.currentDescriptor, pageLoaderIface.DISPLAY_NORMAL); 
context: function highlightSyntax(){  var highlightSyntaxMenu = document.getElementById("menu_highlightSyntax");  var highlightSyntax = (highlightSyntaxMenu.getAttribute("checked") == "true");  gPrefs.setBoolPref("view_source.syntax_highlight", highlightSyntax);  var PageLoader = getBrowser().webNavigation.QueryInterface(pageLoaderIface);  PageLoader.LoadPage(PageLoader.currentDescriptor, pageLoaderIface.DISPLAY_NORMAL);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/7cf90f0f0bbcce2032ae1a3197261f0ac22f04bf/viewSource.js/clean/toolkit/components/viewsource/content/viewSource.js