Closed
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