You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Thanks @rebornix for figuring that out. We shouldn't update options that are not set, that a regression.
I fixed that with #171797 and updated your code to back what it was.
@rzhao271 Is different, it's about the indent guides which were disabled previously by not providing any colors. With my change we complete your colors with the default colors, which IMO is the right thing to do. #171809 is a simple fix.
But I think we should not use the colors for that but the already existing option.
I'm working on a follow up PR, but that needs to be reviewed by @joaomoreno who is out today.
I opened the Settings editor, hovered over a setting, and noticed a new grey line appear to the left of the settings.
This issue occurs with the default light and dark themes.
The text was updated successfully, but these errors were encountered: