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

Remove sticky line in playground #452

Merged

elchininet merged 1 commit into master from fix_playground_editor

Dec 22, 2024

Owner

elchininet commented Dec 22, 2024

This pull request removes the sticky line on scroll from the Playground editor.

Note: as part of this pull request the Playground files are also linted and all the linting errors have been fixed.


          Remove sticky line in playground

de5b72f

elchininet added playground fix labels

coveralls commented Dec 22, 2024

coverage: 100.0%. remained the same
when pulling de5b72f on fix_playground_editor
into 8bd9915 on master.

elchininet merged commit 44b6817 into master

2 checks passed

elchininet deleted the fix_playground_editor branch

December 22, 2024 15:35

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

Labels