Skip to content

Conversation

@williamjallen
Copy link
Collaborator

#3203 added a UI component built on top of CodeMirror which added line number and other code formatting to each output cell across the site. CodeMirror boxes are not searchable because they use an infinite-scroll technique to minimize memory usage. We want all pages to be searchable via native browser search tools, and line numbers didn't turn out to be as useful as imagined. As such, this PR switches back to a purely tailwind-based approach for styling code boxes.

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant