-
-
Notifications
You must be signed in to change notification settings - Fork 488
Closed
Labels
conclusion: duplicateHas already been submittedHas already been submittedtopic: theiaRelated to the Theia IDE frameworkRelated to the Theia IDE frameworktype: imperfectionPerceived defect in any part of projectPerceived defect in any part of project
Description
Describe the problem
When you press ctrl+r editor is restarting/refreshing.
To reproduce
Press ctrl+r
Expected behavior
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
Metadata
Metadata
Assignees
Labels
conclusion: duplicateHas already been submittedHas already been submittedtopic: theiaRelated to the Theia IDE frameworkRelated to the Theia IDE frameworktype: imperfectionPerceived defect in any part of projectPerceived defect in any part of project