Hi.
Thanks for the tip, although this is not the problem (Firefox is always launched in all the other cases). The problem is that F1 key when pressed on anything, that doesn't has a "man" page associated, launches Mozilla with SE help.
For example, say I have the following code:
int i = fopen(...);
Pressing F1 on anything other then fopen, will launch Mozilla.
Another case:
int i = whatever();
Pressing F1 on whatever() will launch Mozilla as well.
The message "man page for spam not found" always appears, before the browser is launched. I think it's quite enough, and would like to prevent the SE help coming up in the browser (especially as Mozilla is quite resource hungry and halts the workflow).
Thanks.