Skip to content

WIP ruff work#523

Draft
markmiro wants to merge 2 commits intomainfrom
ruff
Draft

WIP ruff work#523
markmiro wants to merge 2 commits intomainfrom
ruff

Conversation

@markmiro
Copy link
Contributor

Just a demo of some basic stuff working for now. Would want to integrate with CodeMirror:

  • button to auto-format
  • highlight cells and show tooltip with lint messages

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant