New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prevent selecting line number #1

Merged

benjiec merged 1 commit into benjiec:master from randyn:master

Sep 30, 2020

Contributor

randyn commented Sep 12, 2020

This change to css means the line number won't be copied over anymore. Requested in ginkgobioworks/edge#20


          prevent selecting line number

eca3d7f

Contributor Author

randyn commented Sep 14, 2020

@benjiec Do you see anything wrong with this change?

benjiec merged commit 04e7c0a into benjiec:master

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

Labels

None yet