element-hq / element-hq/element-web
Add refresh shortcut to desktop / web app
- 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
Assessment
This issue has not been assessed yet.