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