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