Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix #6377: Change ctrl-r shortcut #6620

Merged
merged 1 commit into from
May 10, 2023

Conversation

Procrat
Copy link
Contributor

@Procrat Procrat commented May 9, 2023

Pull Request Description

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.

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

  • The documentation has been updated, if necessary.
  • Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
  • All code follows the Scala, Java, and Rust style guides. In case you are using a language not listed above, follow the Rust style guide.
  • All code has been tested:
    • Unit tests have been written where possible.
    • If GUI codebase was changed, the GUI was tested when built using ./run ide build.

@Procrat Procrat force-pushed the wip/procrat/fix-ctrl-r-restore-6377 branch from dbfd564 to 3c053f6 Compare May 9, 2023 15:11
@Procrat Procrat marked this pull request as ready for review May 9, 2023 15:12
@Procrat Procrat added the CI: Ready to merge This PR is eligible for automatic merge label May 10, 2023
@mergify mergify bot merged commit d01b0f4 into develop May 10, 2023
@mergify mergify bot deleted the wip/procrat/fix-ctrl-r-restore-6377 branch May 10, 2023 08:40
Procrat added a commit that referenced this pull request May 10, 2023
…ing-6287

* develop:
  Fix issues with missing sourcemaps (#6572)
  Fix asset delete; implement project delete and project rename (#6566)
  Fix #6377: Change ctrl-r shortcut (#6620)
  Add tests for Date.until, Date.next and Date.previous. (#6606)
  Improve `Non_Unique_Primary_Key` error, split file format detection into read/write, improve SQLite format detection (#6604)
  tokenize_to_columns or parse_to_columns results in a single column we shouldn't add the  1 (#6607)
  Fix node editing race condition (#6594)
  Add format to the in-memory Column (#6538)
  Fix dashboard issues (part 2) (#6511)
  Fix visualisation type selector artifacts rendered after node preview visualisation was closed. (#6575)
  Revert typescript CI Lint changes (#6602)
  Fix the Engine version check in GUI (#6570)
Procrat added a commit that referenced this pull request May 10, 2023
* develop:
  Limit the number of reported warnings (#6577)
  Add COOP+COEP+CORP headers (#6597)
  Fix issues with missing sourcemaps (#6572)
  Fix asset delete; implement project delete and project rename (#6566)
  Fix #6377: Change ctrl-r shortcut (#6620)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI: Ready to merge This PR is eligible for automatic merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Ctrl+r is resetting the project to the default project template
2 participants