-
Notifications
You must be signed in to change notification settings - Fork 12.8k
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
Remove tab-lock and replace it with ctrl+up/down arrows to switch between search result tabs #79862
Conversation
…ween search result tabs
Some changes occurred in HTML/CSS/JS. |
@bors r+ looks just about what i'd expect, thanks for making the changes! I'll play around with this locally later and make any followup PRs if necessary. |
📌 Commit 570de0a has been approved by |
Rollup of 12 pull requests Successful merges: - rust-lang#79732 (minor stylistic clippy cleanups) - rust-lang#79750 (Fix trimming of lint docs) - rust-lang#79777 (Remove `first_merge` from liveness debug logs) - rust-lang#79795 (Privatize some of libcore unicode_internals) - rust-lang#79803 (Update xsv to prevent random CI failures) - rust-lang#79810 (Account for gaps in def path table during decoding) - rust-lang#79818 (Fixes to Rust coverage) - rust-lang#79824 (Strip prefix instead of replacing it with empty string) - rust-lang#79826 (Simplify visit_{foreign,trait}_item) - rust-lang#79844 (Move RWUTable to a separate module) - rust-lang#79861 (Update LLVM submodule) - rust-lang#79862 (Remove tab-lock and replace it with ctrl+up/down arrows to switch between search result tabs) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Hmm, IIUC this will not work on macOS because the OS window manager assigns a meaning to Ctrl-up/down. Unless will the JS override the system meaning? |
I think @Manishearth wants to prioritize this as much as possible in order to fix the current situation. Can you open an issue and ping me on it so I can take a look once this is merged please? |
The JS will since we |
I was thinking about using |
Fixes #65212
What took the longest time was to update the help popup in the end.
r? @Manishearth