How to set F5 as refresh in Firefox

[gibbs1984]

For some reason the F5 button doesn't seem to refresh my browser window (doesn't do anything).

I think it is the only keyboard shortcut that doesn't work and I used to use it pretty often. I can still use the refresh button on the menu via the mouse but I like to use the F5 button.

Other buttons on my keyboard work correctly like the volume up and down, My Music, Mail etc.

Well actually the Web/Home button seems to bring up Nemo...

I can't see anything in Cinnamon Settings > Keyboard that changes the refresh behaviour in Firefox.

My keyboard is a Microsoft Wireless Multimedia Keyboard 1.1:

[karlchen]

Hello, gibbs1984.

My system:
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.

Kind regards,
Karl

[gibbs1984]

Hello, gibbs1984.

My system:
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.

Kind regards,
Karl

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).