Linting for CodeMirror #259

Open

opened

on May 20, 2024

Linting would be nice to more easily be able to identify bugs in code.

Look at:

https://github.com/Shkryob/CodemirrorPylint

for inspiration.

to join this conversation on GitHub. Already have an account? Sign in to comment

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