Skip to content

Can't turn off special font style for mutable variables #188

Closed
@proehlen

Description

@proehlen

Hi, the manual says the following about this feature:

You can customize the look of different semantic elements in the source code. For example, mutable bindings are underlined by default and you can override this behavior by adding the following section to your settings.json

However, there doesn't seem to be a way to set this to "normal" - ie turn the feature off. The only options it will accept for that setting are blank - in which case I get underlined text - or variations on bold, italic, strike through etc.

Is there a way to disable this altogether? I personally find different font styles in my source to be really distracting.

Thanks

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions