>>290
(function() {
document.getElementById("find-field").addEventListener("keypress", function(aEvent) {
if (aEvent.ctrlKey && aEvent.charCode == 102) {
gFindBar.closeFindBar();
aEvent.preventDefault();
}
}, false);
})();