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
Scroll only userscript section in Monkey Menu #2913
Scroll only userscript section in Monkey Menu #2913
Conversation
I'm not convinced I want this; got screenshots before and after? Also: you can probably get away with much less code (and less changed) by switching the divs from |
I need to test the following, but I don't think so. Unless I'm mistaken rv-if is evaluated once. So the DOM won't update as you add or remove scripts. Thus you'd have a <hr>
<div></div>
<hr> Thus the |
For note, right now the code scrolls all the scripts under one scrollbar. I just thought it might be decent to scroll the two sections individually. That way, say you have 100 scripts, you can know right away if the script ran on the page rather than having to scroll up to look at the heading. |
To clarify my above. "right now this PR..." |
Appreciating the idea of scrolling only the user scripts (or even only the "other" user scripts)... |
Either both should be scrolled or none. For example if you have a lot of active scripts it seems weird to scroll the entire content to go through them but not have to scroll the entire content for the other scripts (nested scrollbars suck). |
All of which are active on the current page/tab? Okay, may happen, if you have many universal scripts ( |
be75390
to
52985c5
Compare
Okay, that's focused and clear enough... |
fixes #2809