[ale] Firefox on Linux: opening PDFs and other downloads

[John Wells]

Woops...never mind.  Fixed it by following the steps here:

http://kb.mozillazine.org/Open_File_dialog_has_the_OK_button_grayed_out

Specifically, renaming mimeTypes.rdf

Thanks,
John