Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Indentation guides are always visible #1613

Closed
Assignees
Labels
conclusion: resolvedIssue was resolved topic: theiaRelated to the Theia IDE framework type: imperfectionPerceived defect in any part of project
@ShakeThat

Description

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月27日T13: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

Metadata

Metadata

Labels

conclusion: resolvedIssue was resolved topic: theiaRelated to the Theia IDE framework type: imperfectionPerceived defect in any part of project

Type

No type

Projects

No projects

Milestone

No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      AltStyle によって変換されたページ (->オリジナル) /