element-hq / element-hq/element-web

Add refresh shortcut to desktop / web app

Open
#32,239 4 comments 1 reaction 0 assignees View on GitHub
A-Electron A-Shortcuts O-Frequent T-Enhancement T-Feature
Dominant language
TypeScript
Stars
13.5k
Forks
2.8k
PR merge metrics
PR metrics pending

Description

### Your use case

#### What would you like to do?

Be able to use Ctrl+R to refresh the page, instead of having to get into the Developer tools (Ctrl+Shift+I).
Right now my current key combination to reload Element is: Ctrl+Shift+I; Ctrl+R; Ctrl+Shift+I

#### Why would you like to do it?

When something breaks in Element, I am able to quickly reload the page without having to wait for the
Developer Tools to appear, then reloading, then having to manually hide them. This just makes it feel
worse when I encounter problems in Element, as Discord provides this natively.

#### How would you like to achieve it?

It's a 2 minute job in theory: add an event listener to your event target that listens for `ctrlKey` and the `R` key being pushed at the same time.

### Have you considered any alternatives?

_No response_

### Additional context

_No response_

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.