title: What's the difference between F5 and Ctrl-F5 in Firefox related to JavaScript events?
body: <p>When you try this public page: <a href="http://slim.nl/shop/default.aspx" rel="noreferrer">http://slim.nl/shop/default.aspx</a> (update: meanwhile this site has changed such that this question's behavior cannot be tested anymore there), you'll notice a menubar. If you hit <kbd>F5</kbd>, the menu in that bar disappears. Same when you come to that page via the Back-button in your browser. It only happens on Firefox (seen on versions 3-7). Using <kbd>Ctrl</kbd>-<kbd>F5</kbd>, the menubar reappears.</p>
  
  <p>To the best of my knowledge, all JavaScript events that fire when loading a page, including any AJAX cycles, should also fire when refreshing a page with <kbd>F5</kbd> or coming there via the Back-button. What's happening here?</p>
  
  <p>I'd like to know from a programmer's standpoint what the difference is between <kbd>F5</kbd> and <kbd>Ctrl</kbd>-<kbd>F5</kbd>, preferably more general than just this case. Unless it's a bug in Firefox, of course.</p>
  
  <p><img src="https://i.stack.imgur.com/oDwcc.png" alt="enter image description here"></p>