rem: if (appCore) appCore.find(); 
add: var focusedWindow = document.commandDispatcher.focusedWindow; if (!focusedWindow || focusedWindow == window) focusedWindow = window._content;  findInPage(getBrowser(), window._content, focusedWindow) 
context: function BrowserFind(){  if (appCore)    appCore.find();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d06a250b8efeb300f41ce45999dec316f2fe4b5a/viewsource.js/buggy/suite/browser/viewsource.js