no-merge: added a preference to reproduce #1791

[kittaakos]

NO MERGE

Motivation

This is a PR to help reproduce #1791 and prove that #1969 is correct.

There is a new preference to control the editor timeout when opening the sketch files.

Hardcoded in the main:

arduino-ide/arduino-ide-extension/src/browser/contributions/open-sketch-files.ts

Line 199 in 9b49712

const timeout = 5_000; // number of ms IDE2 waits for the editor to show up in the UI

New preference in this branch:
arduino.sketch.editorOpenTimeout. The default value is 5000 ms.

How to use:

• When you create a new sketch, all works fine. The editor timeout is 5000 ms.

default_editor_timeout.mp4

• Open the settings JSON and set arduino.sketch.editorOpenTimeout to 1. Ensure your settings.json is saved, and create a new sketch. You see the duplicate tabs.

min_editor_timeout.mp4

Change description

Other information

Reviewer checklist

• PR addresses a single concern.
• The PR has no duplicates (please search among the Pull Requests before creating one)
• PR title and description are properly filled.
• Docs have been added / updated (for bug fixes / features)

[kittaakos]

This PR was created to simplify the verification of #1969.