I don’t know why, but I recently noticed that the F5 key no longer refreshes the page (reloads the page) when using my Mozilla Firefox web browser. I’m a web developer, so I am often refreshing/reloading pages to see what changes look like as they are completed. I don’t know when Firefox changed (maybe with the release of 3.5), but I now apparently have to press Ctrl + R in order to refresh/reload the page that I’m on.
Has anyone else encountered a problem with the F5 key not reloading the page in Mozilla Firefox? Is there a workaround or a way to map keys in Firefox?