💾 Archived View for station.martinrue.com › eph › 9532d641b0b546ada62fbd36202d6cae captured on 2022-07-16 at 14:26:52. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
Am I misremembering keyboard shortcuts, or was F5 the refesh shortcut in most web browsers until recently?
2 months ago · 👍 superfxchip
Is not anymore? · 2 weeks ago
@radian weird, I’ve used ◆-R and ◆-L for those commands recently, but I remember using the function keys before · 1 month ago
Is it not? I always use f5 = reftesh, f6 = put the cursor in the location field. · 1 month ago
Thinking about it more, I realize that F5 might have been the refresh key for Internet Explorer and old versions of Firefox on Windows. It’s firmly associated with ‘refresh’ for me, and I wonder if the (perceived) disappearance of the shortcut is yet another change wrought by Chrome’s dominance of Web browsing. · 2 months ago
Always use and used F5. Never had any issues. · 2 months ago
I think it still is on most major browsers.
Although C-r is indeed more universal. · 2 months ago