arduino / arduino-ide

Arduino IDE 2.x
https://www.arduino.cc/en/software
GNU Affero General Public License v3.0
2.29k stars 389 forks source link

Indentation guides are always visible #1613

Closed ShakeThat closed 1 year ago

ShakeThat commented 1 year ago

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

per1234 commented 1 year ago

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:

https://github.com/eclipse-theia/theia/pull/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.