karlchen wrote:Hello, gibbs1984.
Linux Mint 14, 32-bit, Firefox 18.0.2, Cinnamon 1.6.7, mdm 1.0.8.
Keyboard: No-name Windows keyboard KB9810.
Checked it right now:
<Ctrl>+r as well as <F5>, pressed inside Firefox, will make Firefox refresh the current page. - Have not done anything special to make the two shortcuts work. They simply did do so out of the box.
Checked Cinnamon Settings => Keyboard => Keyboard Shortcuts: No shortcut found using <F5> systemwide for any action.
Therefore <F5> should not be intercepted by any other software as long as Firefox has got the input focus. - So more likely than not in your case there will be some software which registered <F5> systemwide and intercepts it so that Firefox has got no chance of reacting on it.
Thanks for the reply Karl.
I didn't know about Ctrl + r, just tried it and that shortcut refreshes the page so like you say some software must be using F5 as a shortcut, now the hard part I suppose. How do I track that down?
I looked for shortcuts in Firefox and from what I saw in the Preferences there was a tab for shortcuts but I can't see it now.
I'll go through all the shortcuts in Keyboard Shortcuts and see if I can see it.
The only thing I can think of is that when I used Compiz ages ago on previous versions of Linux Mint that it used F5 for something (I don't use Compiz since moving to Cinnamon).
Linux Mint 17 (Cinnamon) 32bit.