1
edit
Changes
→'''Patch File'''
diff -u -8 -p -r1.961 browser.js
--- browser/base/content/browser.js 10 Feb 2008 06:57:05 -0000 1.961
+++ browser/base/content/browser.js 10 11 Feb 2008 2019:0711:04 21 -0000@@ -27712791,38 16 +27712791,30 18 @@ const BrowserSearch = { if engines.push(!this{ uri: engine.searchBar)href, return; var browser = gBrowser title: engine.getBrowserForDocument(targetDoc); // Append the URI and an appropriate title to the browser data., var icon: iconURL = null; if (gBrowser.shouldLoadFavIcon(browser.currentURI)}) iconURL = browser.currentURI.prePath + "/favicon.ico";
+ searchService.addEngine(engine.href, Components.interfaces.nsISearchEngine.DATA_XML, iconURL, false);
}
},
* Update the browser UI to show whether or not additional engines are
* available when a page is loaded or the user switches tabs to a page that
</pre>
=== '''Code Modifications''' ===