Skip to content

No syntax highlighting until first edit #254

@ncfavier

Description

@ncfavier

Reopens #242.

In 0.6.4, write the following into test.lagda.md:

```agda
module _ where
```

Load the file. Duplicate the module _ where line:

```agda
module _ where
module _ where
```

Reload the file. The second line is not highlighted:

Image

Make any edit. The second line becomes highlighted.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions