Skip to content

Shortcut for upload ("ctrl+r") is refreshing editor. #996

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.

Sign up for GitHub

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

Jump to bottom
Closed
3 tasks done
gad-ass opened this issue May 19, 2022 · 1 comment
Closed
3 tasks done

Shortcut for upload ("ctrl+r") is refreshing editor. #996

gad-ass opened this issue May 19, 2022 · 1 comment
Assignees
@per1234
Labels
conclusion: duplicate Has already been submitted topic: theia Related to the Theia IDE framework type: imperfection Perceived defect in any part of project

Comments

@gad-ass
Copy link

gad-ass commented May 19, 2022 •
edited
Loading

Describe the problem

When you press ctrl+r editor is restarting/refreshing.

To reproduce

Press ctrl+r

Expected behavior

image
It should verify sketch.

Arduino IDE version

Version: 2.0.0-rc6 Date: 2022-04-20T10:23:13.437Z CLI Version: 0.21.0 [10107d24] Copyright © 2022 Arduino SA

Operating system

Windows

Operating system version

10

Additional context

No response

Issue checklist

  • I searched for previous reports in the issue tracker
  • I verified the problem still occurs when using the latest nightly build
  • My report contains all necessary details
@gad-ass gad-ass added the type: imperfection Perceived defect in any part of project label May 19, 2022
@per1234
Copy link
Contributor

per1234 commented May 19, 2022

Hi @gadaszewski. Thanks for taking the time to submit an issue.

I see we have another report about this at #852.

It is best to have only a single issue per subject so we can consolidate all relevant discussion to one place, so I'll go ahead and close this in favor of the other.

If you end up with additional information to share, feel free to comment in the other thread.

@per1234 per1234 closed this as completed May 19, 2022
@per1234 per1234 self-assigned this May 19, 2022
@per1234 per1234 added conclusion: duplicate Has already been submitted topic: code Related to content of the project itself topic: theia Related to the Theia IDE framework and removed topic: code Related to content of the project itself labels May 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@per1234 per1234

Labels
conclusion: duplicate Has already been submitted topic: theia Related to the Theia IDE framework type: imperfection Perceived defect in any part of project
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@per1234 @gad-ass