From:  Boris Zbarsky <bzbarsky@mit.edu>
Date:  14 Oct 2004 10:43:19 Hong Kong Time
Newsgroup:  news.mozilla.org/netscape.public.mozilla.performance
Subject:  

Re: Disable hotkeys/shortcut keys F11, F12?

NNTP-Posting-Host:  adsl-68-77-9-92.dsl.emhril.ameritech.net

C. Andrews La Varre wrote:
> I downloaded and installed 1.7.3, the latest and still do not have that 
> file. Do you know the equivalent in Linux?

You're looking inside the comm.jar file, right?  That's just a ZIP archive; one 
of the files in there is content/navigator/platformNavigationBindings.xul

-Boris