[Add OpenSearch code, untested yet Neil Mitchell**20080822134114] { hunk ./src/Web/Page.hs 9 - ,"
" + ," " hunk ./src/Web/Page.hs 14 + ," " hunk ./src/Web/Page.hs 23 + ," " hunk ./src/res/hoogle.js 8 + + if (window.external.AddSearchProvider) + document.getElementById('search').style.display = ""; hunk ./src/res/hoogle.js 13 -// add hoogle as a quicksearch tag, available on Firefox/Mozilla -function addHoogle() +function add_search() hunk ./src/res/hoogle.js 15 - addEngine('hoogle','png','Programming','4691'); + window.external.AddSearchProvider('res/search.xml'); addfile ./src/res/search.xml hunk ./src/res/search.xml 1 + +