Window title changes to "index.html" during reload

[per1234]

Describe the problem

The Arduino IDE window may reload during some operations such as after a change to the "Language" preference.

🐛 The window title changes to "index.html" during the reload operation. This is not an optimal user experience.

To reproduce

1. Open the "Command Palette" (Ctrl+Shift+P)
2. Run the "Reload Window" command.

🐛 The window title changes to "index.html" during the reload operation.

Expected behavior

Standard window title is preserved through the reload:

Arduino IDE version

2.0.0-rc6-snapshot-b407d0a

Operating system

Windows, Ubuntu

Operating system version

Windows 10, Ubuntu 20.04

Additional context

The issue was introduced at 112153f (does not occur in the build for the previous commit 69ac1f4).

---

Originally reported at https://forum.arduino.cc/t/ctr-f5-goes-to-index-html/970705

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

[kittaakos]

See: eclipse-theia/theia#11575