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.
I agree, F5 would have been better since it is the standard on Linux and Windows. The only reason why I found out is because I’m used to do cmd+R on Mac (I use Mac at work so I got familiar with it).
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.
I agree, F5 would have been better since it is the standard on Linux and Windows. The only reason why I found out is because I’m used to do cmd+R on Mac (I use Mac at work so I got familiar with it).