With respect to the right-click menus, it would be nice if something along the lines described above were implemented for stop/refresh. Currently, the right-click contains both options but only one is ever enabled at once, and if the page is loading when right-click opens the menu, then Stop will be sensitive and Refresh will be insensitive until the menu closes regardless of whether the page finishes loading.
This is essentially the worst of both possible worlds; only including one or the other of Stop and Refresh in the menu would at least eliminate one insensitive option from the menu consistently. Even better would be to add the appropriate one of the pair and switch it for the other if page load state changes while the menu is open. But that's relatively complex and I don't know how easily/reliably/cleanly it can be done.
With respect to the right-click menus, it would be nice if something along the lines described above were implemented for stop/refresh. Currently, the right-click contains both options but only one is ever enabled at once, and if the page is loading when right-click opens the menu, then Stop will be sensitive and Refresh will be insensitive until the menu closes regardless of whether the page finishes loading.
This is essentially the worst of both possible worlds; only including one or the other of Stop and Refresh in the menu would at least eliminate one insensitive option from the menu consistently. Even better would be to add the appropriate one of the pair and switch it for the other if page load state changes while the menu is open. But that's relatively complex and I don't know how easily/ reliably/ cleanly it can be done.