Skip to content

Support for gutterSettings #469

@timhillgit

Description

@timhillgit

syntect currently reads from gutter and gutterForeground when loading themes:

"gutter" => settings.gutter = Color::parse_settings(value).ok(),
"gutterForeground" => {
settings.gutter_foreground = Color::parse_settings(value).ok()
}

But many themes instead store their gutter settings in a gutterSettings key. See for instance the base16 themes at https://github.com/chriskempson/base16-textmate/tree/master/Themes . gutterSettings seems to be more popular than gutterForeground. A GitHub search for themes with gutterSettings returns 3k hits while a search for gutterForeground returns 1.5k. Adding this would probably solve #315

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions