Indentation guides are always visible

[ShakeThat]

Describe the problem

In the settings GUI I have turned off "Editor › Guides: Indentation", but the indentation guides remain visible. If I toggle the setting on and off again, the guides become dimmer but still visible. On re-launching ther application they are again fully visible.

To reproduce

Open the settings UI and turn off Editor › Guides: Indentation. Observe indentation guides remain visible.

Expected behavior

Indentation guides should no longer be visible.

Arduino IDE version

Version: 2.0.1 Date: 2022-10-27T13:25:59.041Z CLI Version: 0.28.0 [06fb1909] Copyright © 2022 Arduino SA

Operating system

macOS

Operating system version

10.13

Additional context

I am using the light Arduino theme, but guides are visible regardless of theme.

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

[per1234]

Thanks for your report @ShakeThat. This is caused by a bug in the Eclipse Theia IDE framework Arduino IDE is built on. Fortunately the bug has already been fixed:

eclipse-theia/theia#11711

Arduino IDE is still affected because the fix was made in a version of Theia newer than the on currently in use by Arduino IDE. So the bug will be fixed as a matter of course as soon as the Theia dependency is updated to a version 1.31.0 or newer.