-
-
Notifications
You must be signed in to change notification settings - Fork 515
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.
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
fix #1668 #1693
fix #1668 #1693
Conversation
There are no duplicate forks as the git hash stays the same. I just merge it manually because I doublecheck each PR. |
Good catch, at some point I even wondered why I didn't see those, I guess I've spent all my time in the mobile emulator view 😅 |
Yes its also easily avoidable by strictly developing on feature branches, I only was curious 😃 |
I'll need some more time for this, it isn't trivial to hide the scrollbar when it is not needed without introducing more dom nodes. I've just stumbled upon a nice new css property draft: I also don't like to use media queries, although we could only enable this css on small screens or mobile devices in general. @tbnobody what do you think? any suggestions or feedback at this point? |
a2fff84
to
b2facd9
Compare
I've got a working solution now for the hamburger menu, which consisted of joining the two menu lists into one, using an empty list element which can flex-grow into the available space, so visually nothing changes. This means that the dropdown poppers won't scroll when they don't fit on the screen, but I don't think its a huge issue since this would only appear on very strange screen resolutions. |
I've just read through the popper.js documentation again, it seems like the boundary property is only for positioning purposes, not sizing purposes, but as I said, the main problem from the bug report is now fixed properly with this PR. Let me know if you want the other issue fixed too, then I can look into it again |
Looks good. But could you please remove the changes in the lines where you just changed the line breaks and squash the commits into one? |
here you go, one commit 😃 |
Sorry that I didn't mentioned it... I've already included it in my local dev branch. will be included in the next release. |
Merged in 86b9625 |
This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new discussion or issue for related concerns. |
this PR enables scrolling for the menu popovers by restricting their height (or the entire menu height, respectively) to the viewport, both in expanded and collapsed (hamburger) state:


One question related to the contributing process:
What are the benefits of manually merging each PR?
It seems to me that it's just additional effort, plus keeping forks up to date cannot be done automatically by github, since you end up with duplicate commits.