Skip to content
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

Selection issues #648

Open
yannickwurm opened this issue Jun 9, 2023 · 3 comments
Open

Selection issues #648

yannickwurm opened this issue Jun 9, 2023 · 3 comments
Assignees
@Lazy-poet
Labels
bug

Comments

@yannickwurm
Copy link
Member

https://loom.com/share/7006493d9eb54c0cbb79934ff981b66a
@Lazy-poet Lazy-poet mentioned this issue Jul 21, 2023
Open
@Lazy-poet Lazy-poet self-assigned this Jul 21, 2023
@yannickwurm
Copy link
Member Author

This one may or may not still exist. Have you been able to reproduce it @gorsyan ?

It is also possible that there was a CSS caching issue.

@gorsyan
Copy link
Contributor

gorsyan commented Dec 30, 2023

No I still can replicate it. I will try to look at it coming week.

@yannickwurm
Copy link
Member Author

yannickwurm commented Dec 30, 2023 •
edited
Loading

ok - please also look at what lazy-poet did in #670 which is not yet part of the main codebase and may have solved it. (perhaps his PR can be applied directly - or perhaps it is worth cherry-picking some bits)

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

@Lazy-poet Lazy-poet

Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@yannickwurm @Lazy-poet @gorsyan