Yeah I learned that when I looked up the issue number, very disappointed that it’s Ctrl+R instead of the canonical reload button for the last 30 years (F5). :(
Since you knew Ctrl+r you wouldn’t experience those issues. That’s a side effect of “reload” without a reload button.
But since F5 is and has been for 30 years the universal refresh button I never needed to learn that some software uses a different, undiscoverable key combination.
Yeah I learned that when I looked up the issue number, very disappointed that it’s Ctrl+R instead of the canonical reload button for the last 30 years (F5). :(
Since you knew Ctrl+r you wouldn’t experience those issues. That’s a side effect of “reload” without a reload button.
Control r is standard reload for web browsers and other stuff too
But since F5 is and has been for 30 years the universal refresh button I never needed to learn that some software uses a different, undiscoverable key combination.