Stijn ("stain") Seghers d01b0f460d Fix #6377: Change ctrl-r shortcut (#6620) ... Fixes #6377: The fact that `ctrl-r` was restoring the project to potentially the initial state was confusing. This PR changes that shortcut to `ctrl-shift-r`, as discussed in #6377. Note that: - `ctrl-shift-r` was already taken by the re-execution shortcut, so that got the `ctrl-alt` modifiers instead, along with the interruption shortcut for consistency. - `ctrl-alt-shift-r` was already taken by a shortcut to refresh the whole Electron app, so that wasn't available.		2023-05-10 08:40:24 +00:00
..
gui	Fix #6377: Change ctrl-r shortcut (#6620)	2023-05-10 08:40:24 +00:00
ide-desktop	Fix dashboard issues (part 2) (#6511)	2023-05-09 10:33:11 +02:00